( en | de | ru )

 

Disambiguierung von "Bahr, Patrick"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Partial Order Infinitary Term Rewriting and Böhm Trees.

. RTA, Volume 6 von LIPIcs, Seite 67-84. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)

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.

Artur Bahr

Ute Bahr

Martin Bahr

Karsten Bahr

Elke Bahr

 

Weitere Publikationen von Autoren mit dem selben Namen

Partial Order Infinitary Term Rewriting and Böhm Trees.. RTA, Volume 6 von LIPIcs, Seite 67-84. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)Diamonds are not forever: Liveness in reactive programming with guarded recursion., , und . CoRR, (2020)Type families with class, type classes with family., , und . Haskell, Seite 129-140. ACM, (2015)Proving Correctness of Compilers Using Structured Graphs.. FLOPS, Volume 8475 von Lecture Notes in Computer Science, Seite 221-237. Springer, (2014)Modular Tree Automata.. MPC, Volume 7342 von Lecture Notes in Computer Science, Seite 263-299. Springer, (2012)Composing and decomposing data types: a closed type families implementation of data types à la carte.. WGP@ICFP, Seite 71-82. ACM, (2014)Abstract Models of Transfinite Reductions.. RTA, Volume 6 von LIPIcs, Seite 49-66. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)Calculating Certified Compilers for Non-deterministic Languages.. MPC, Volume 9129 von Lecture Notes in Computer Science, Seite 159-186. Springer, (2015)The clocks are ticking: No more delays!, , und . LICS, Seite 1-12. IEEE Computer Society, (2017)Strict Ideal Completions of the Lambda Calculus.. FSCD, Volume 108 von LIPIcs, Seite 8:1-8:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)