( en | de | ru )

 

Disambiguierung von "Setzer, Anton"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Verification for Feature-Based Composition of Workflows.

, , , , und . EDCC, Seite 173-181. IEEE Computer Society, (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.

Anton Setzer

T Setzer

Marcel Setzer

Dorothea Setzer

Matthias Setzer

 

Weitere Publikationen von Autoren mit dem selben Namen

Undecidability of Equality for Codata Types., und . CMCS, Volume 11202 von Lecture Notes in Computer Science, Seite 34-55. Springer, (2018)A Finite Axiomatization of Inductive-Recursive Definitions., und . TLCA, Volume 1581 von Lecture Notes in Computer Science, Seite 129-146. Springer, (1999)Inductive-Inductive Definitions., und . CSL, Volume 6247 von Lecture Notes in Computer Science, Seite 454-468. Springer, (2010)Declarative GUIs: Simple, Consistent, and Verified., , und . PPDP, Seite 4:1-4:15. ACM, (2018)On PHP st-connectivity, and odd charged graphs., und . Proof Complexity and Feasible Arithmetics, Volume 39 von DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Seite 93-117. DIMACS/AMS, (1996)A Categorical Semantics for Inductive-Inductive Definitions., , , und . CALCO, Volume 6859 von Lecture Notes in Computer Science, Seite 70-84. Springer, (2011)Functional concepts in C++., , und . Trends in Functional Programming, Volume 7 von Trends in Functional Programming, Seite 163-179. Intellect, (2006)Translating Set Theoretical Proofs into Type Theoretical Programs.. Kurt Gödel Colloquium, Volume 1289 von Lecture Notes in Computer Science, Seite 278-289. Springer, (1997)Developing GUI Applications in a Verified Setting., , und . SETTA, Volume 10998 von Lecture Notes in Computer Science, Seite 89-107. Springer, (2018)Extending Martin-Löf Type Theory by one Mahlo-universe.. Arch. Math. Log., 39 (3): 155-181 (2000)