( en | de | ru )

 

Disambiguierung von "Schürmann, Carsten"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Choreographies, logically.

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

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.

Heiko Schürmann

Theo Schürmann

August Schürmann

Reinhard Schürmann

Karl Schürmann

 

Weitere Publikationen von Autoren mit dem selben Namen

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