Autor der Publikation

The Algebra of Directed Acyclic Graphs.

, und . Computation, Logic, Games, and Quantum Foundations, Volume 7860 von Lecture Notes in Computer Science, Seite 37-51. Springer, (2013)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

The Algebra of Directed Acyclic Graphs., und . Computation, Logic, Games, and Quantum Foundations, Volume 7860 von Lecture Notes in Computer Science, Seite 37-51. Springer, (2013)A Syntactic View of Computational Adequacy., und . FoSSaCS, Volume 10803 von Lecture Notes in Computer Science, Seite 71-87. Springer, (2018)Classical logic with Mendler induction., und . J. Log. Comput., 30 (1): 77-106 (2020)Classical Logic with Mendler Induction - A Dual Calculus and Its Strong Normalization., und . LFCS, Volume 9537 von Lecture Notes in Computer Science, Seite 43-59. Springer, (2016)Implementation of an Orchestration Language as a Haskell Domain Specific Language., und . FOCLASA, Volume 255 von Electronic Notes in Theoretical Computer Science, Seite 45-64. Elsevier, (2009)