( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Effects of Modalities in Separation Logics (Extended Abstract).

, и . Advances in Modal Logic, стр. 134-138. College Publications, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Morgan Chopin

Klaus Deters

Michael Deters

Dirk Deters

Ihab Morgan

 

Другие публикации лиц с тем же именем

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