( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reversible debugging of concurrent Erlang programs: Supporting imperative primitives.

, , , , и . J. Log. Algebraic Methods Program., (2024)

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.

Thomas Coen

Mechthild Coen

Martin Coen

Christoph Coen

Klaus Coen

 

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

Mathematical Libraries as Proof Assistant Environments.. MKM, том 3119 из Lecture Notes in Computer Science, стр. 332-346. Springer, (2004)Relational Data Across Mathematical Libraries., , , , , и . CICM, том 11617 из Lecture Notes in Computer Science, стр. 61-76. Springer, (2019)Properties of a Computational Lambda Calculus for Higher-Order Relational Queries., и . ICTCS, том 3587 из CEUR Workshop Proceedings, стр. 254-267. CEUR-WS.org, (2023)SchemaPath: Extending XML Schema for Co-Constraints, , и . UBLCS-2004-13. University of Bologna, Bologna, Italy, (июня 2004)IMELL Cut Elimination with Linear Overhead., и . FSCD, том 299 из LIPIcs, стр. 24:1-24:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Schemapath, a minimal extension to xml schema for conditional constraints., , и . WWW, стр. 164-174. ACM, (2004)A Semi-reflexive Tactic for (Sub-)Equational Reasoning.. TYPES, том 3839 из Lecture Notes in Computer Science, стр. 98-114. Springer, (2004)Functions as Processes: Termination and the lm(m)\tildełambda\mu\mu-Calculus., , и . TGC, том 6084 из Lecture Notes in Computer Science, стр. 73-86. Springer, (2010)Explanation in Natural Language of lamda-µµ-Terms.. MKM, том 3863 из Lecture Notes in Computer Science, стр. 234-249. Springer, (2005)Logic-Independent Proof Search in Logical Frameworks - (Short Paper)., , , и . IJCAR (1), том 12166 из Lecture Notes in Computer Science, стр. 395-401. Springer, (2020)