PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Schürmann, Carsten"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Primitive Recursion for Higher-Order Abstract Syntax.

, , und . TLCA, Volume 1210 von Lecture Notes in Computer Science, Seite 147-163. Springer, (1997)

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.

Hannah Schürmann University of Stuttgart

Prof. Peter Schürmann University of Stuttgart

Dr. Carsten Unger University of Stuttgart

Univ. -Prof. Dr. Carsten Scherer University of Stuttgart

Carsten Karthaus

 

Weitere Publikationen von Autoren mit dem selben Namen

Trust in internet election observing the Norwegian decryption and counting ceremony., , und . EVOTE, Seite 1-8. IEEE, (2014)A Coverage Checking Algorithm for LF., und . TPHOLs, Volume 2758 von Lecture Notes in Computer Science, Seite 120-135. Springer, (2003)An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf., und . LPAR, Volume 4246 von Lecture Notes in Computer Science, Seite 150-166. Springer, (2006)Primitive Recursion for Higher-Order Abstract Syntax., , und . TLCA, Volume 1210 von Lecture Notes in Computer Science, Seite 147-163. Springer, (1997)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)Evaluation of Systems for Higher-order Logic (ESHOL)., , , und . PAAR/ESHOL, Volume 373 von CEUR Workshop Proceedings, CEUR-WS.org, (2008)LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL), , und . CoRR, (2006)Linear Logical Voting Protocols., und . VOTE-ID, Volume 7187 von Lecture Notes in Computer Science, Seite 53-70. Springer, (2011)Automatic Margin Computation for Risk-Limiting Audits., , , und . E-VOTE-ID, Volume 10141 von Lecture Notes in Computer Science, Seite 18-35. Springer, (2016)Rounding Considered Harmful.. E-Vote-ID, Volume 11143 von Lecture Notes in Computer Science, Seite 189-202. Springer, (2018)