( en | de | ru )

 

Disambiguierung von "Echenim, Mnacho"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Entailment is Undecidable for Symbolic Heap Separation Logic Formulæ with Non-Established Inductive Rules.

, , und . Inf. Process. Lett., (2022)

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.

Mnacho Echenim

 

Weitere Publikationen von Autoren mit dem selben Namen

Prenex Separation Logic with One Selector Field., , und . TABLEAUX, Volume 11714 von Lecture Notes in Computer Science, Seite 409-427. Springer, (2019)Checking Entailment Between Separation Logic Symbolic Heaps: Beyond Connected and Established Systems., , und . CoRR, (2020)A Proof Procedure for Separation Logic with Inductive Definitions and Data., und . J. Autom. Reason., 67 (3): 30 (September 2023)Unifying Decidable Entailments in Separation Logic with Inductive Definitions., , und . CADE, Volume 12699 von Lecture Notes in Computer Science, Seite 183-199. Springer, (2021)Two Results on Separation Logic With Theory Reasoning., und . CoRR, (2022)Rewrite-Based Satisfiability Procedures for Recursive Data Structures., und . PDPAR/PaUL@FLoC, Volume 174 von Electronic Notes in Theoretical Computer Science, Seite 55-70. Elsevier, (2006)Ilinva: Using Abduction to Generate Loop Invariants., , und . FroCos, Volume 11715 von Lecture Notes in Computer Science, Seite 77-93. Springer, (2019)A Superposition-Based Calculus for Quantum Diagrammatic Reasoning and Beyond., , , und . CoRR, (2021)Simultaneous diagonalization of pairwise commuting Hermitian matrices.. Arch. Formal Proofs, (2022)The CHSH inequality: Tsirelson's upper-bound and other results., , und . Arch. Formal Proofs, (2023)