( en | de | ru )

 

Disambiguierung von "Peltier, Nicolas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Prenex Separation Logic with One Selector Field.

, , und . TABLEAUX, Volume 11714 von Lecture Notes in Computer Science, Seite 409-427. Springer, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Nicolas Peltier

Peter Peltier

Nicolas Jeanvoine

Plasma-material interaction and electrode degradation in high voltage ignition discharges. Uni Saarbrücken, (2009)

Nicólás Penzo

Lothar Nicolas

 

Weitere Publikationen von Autoren mit dem selben Namen

Two Results on Separation Logic With Theory Reasoning., und . CoRR, (2022)Ilinva: Using Abduction to Generate Loop Invariants., , und . FroCos, Volume 11715 von Lecture Notes in Computer Science, Seite 77-93. Springer, (2019)Decidable Entailments in Separation Logic with Inductive Definitions: Beyond Established Systems., , und . CoRR, (2020)Entailment is Undecidable for Symbolic Heap Separation Logic Formulæ with Non-Established Inductive Rules., , und . Inf. Process. Lett., (2022)Tractable and Intractable Entailment Problems in Separation Logic with Inductively Defined Predicates., und . CoRR, (2023)A Strict Constrained Superposition Calculus for Graphs., , , und . FoSSaCS, Volume 13992 von Lecture Notes in Computer Science, Seite 135-155. Springer, (2023)A Superposition-Based Calculus for Quantum Diagrammatic Reasoning and Beyond., , , und . CoRR, (2021)Testing the Satisfiability of Formulas in Separation Logic with Permissions.. TABLEAUX, Volume 14278 von Lecture Notes in Computer Science, Seite 427-445. Springer, (2023)A Superposition-Based Calculus for Diagrammatic Reasoning., , , und . PPDP, Seite 10:1-10:13. ACM, (2021)Reasoning on Dynamic Transformations of Symbolic Heaps.. TIME, Volume 247 von LIPIcs, Seite 9:1-9:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)