( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Choreographies, logically.

, , и . Distributed Comput., 31 (1): 51-67 (2018)

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.

Elisabeth Schürmann

Josef Schürmann

Thomas Schürmann

Christof Schürmann

Ingeborg Schürmann

 

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

A Coverage Checking Algorithm for LF., и . TPHOLs, том 2758 из Lecture Notes in Computer Science, стр. 120-135. Springer, (2003)Primitive Recursion for Higher-Order Abstract Syntax., , и . TLCA, том 1210 из Lecture Notes in Computer Science, стр. 147-163. Springer, (1997)Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework.. FLOPS, том 2998 из Lecture Notes in Computer Science, стр. 22-23. Springer, (2004)Trust in internet election observing the Norwegian decryption and counting ceremony., , и . EVOTE, стр. 1-8. IEEE, (2014)Linear Logical Voting Protocols., и . VoteID, том 7187 из Lecture Notes in Computer Science, стр. 53-70. Springer, (2011)Choreographies, logically., , и . Distributed Comput., 31 (1): 51-67 (2018)A Declaration of Software Independence., , , , и . Protocols, Strands, and Logic, том 13066 из Lecture Notes in Computer Science, стр. 198-217. Springer, (2021)Rounding Considered Harmful.. E-Vote-ID, том 11143 из Lecture Notes in Computer Science, стр. 189-202. Springer, (2018)A Bigraph Relational Model, и . LFMTP, том 71 из EPTCS, стр. 14-28. (2011)Automated Theorem Proving in a Simple Meta-Logic for LF., и . CADE, том 1421 из Lecture Notes in Computer Science, стр. 286-300. Springer, (1998)