( en | de | ru )

 

Disambiguierung von "Deters, Morgan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Effects of Modalities in Separation Logics (Extended Abstract).

, und . Advances in Modal Logic, Seite 134-138. College Publications, (2014)

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.

Morgan Chopin

Klaus Deters

Michael Deters

Dirk Deters

Ihab Morgan

 

Weitere Publikationen von Autoren mit dem selben Namen

Witness Runs for Counter Machines., , und . FroCos, Volume 8152 von Lecture Notes in Computer Science, Seite 120-150. Springer, (2013)Fine Grained SMT Proofs for the Theory of Fixed-Width Bit-Vectors., , , , und . LPAR, Volume 9450 von Lecture Notes in Computer Science, Seite 340-355. Springer, (2015)A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions., , , , und . CAV, Volume 8559 von Lecture Notes in Computer Science, Seite 646-662. Springer, (2014)Signature Compilation for the Edinburgh Logical Framework., , und . LFMTP@CADE, Volume 196 von Electronic Notes in Theoretical Computer Science, Seite 129-135. Elsevier, (2007)Witness Runs for Counter Machines - (Abstract)., , und . TABLEAUX, Volume 8123 von Lecture Notes in Computer Science, Seite 1-4. Springer, (2013)Storage Allocation for Real-Time, Embedded Systems., , , , , und . EMSOFT, Volume 2211 von Lecture Notes in Computer Science, Seite 131-147. Springer, (2001)Refutation-based synthesis in SMT., , , , und . Formal Methods Syst. Des., 55 (2): 73-102 (2019)Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction., und . ACM Trans. Comput. Log., 17 (2): 12 (2016)Temporal logics on strings with prefix relation., und . J. Log. Comput., 26 (3): 989-1017 (2016)6 Years of SMT-COMP., , , , und . J. Autom. Reason., 50 (3): 243-277 (2013)