( en | de | ru )

 

Disambiguierung von "Urbat, Henning"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards a Higher-Order Mathematical Operational Semantics.

, , , , und . Proc. ACM Program. Lang., 7 (POPL): 632-658 (Januar 2023)

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.

Michael Urbat

Isabel Urbat

Klaus Urbat

Ralph Urbatzka

Jens Urbat

 

Weitere Publikationen von Autoren mit dem selben Namen

Positive Data Languages., , und . MFCS, Volume 272 von LIPIcs, Seite 48:1-48:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Eilenberg's variety theorem without Boolean operations., , und . Inf. Comput., 295 (Part B): 104916 (Dezember 2023)Logical Predicates in Higher-Order Mathematical Operational Semantics., , , , und . FoSSaCS (2), Volume 14575 von Lecture Notes in Computer Science, Seite 47-69. Springer, (2024)On the Behaviour of Coalgebras with Side Effects and Algebras with Effectful Iteration., , und . CoRR, (2019)Towards a Higher-Order Mathematical Operational Semantics., , , , und . Proc. ACM Program. Lang., 7 (POPL): 632-658 (Januar 2023)Automata Learning: An Algebraic Approach., und . LICS, Seite 900-914. ACM, (2020)Syntactic Minimization Of Nondeterministic Finite Automata., und . MFCS, Volume 202 von LIPIcs, Seite 78:1-78:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Nominal Büchi Automata with Name Allocation., , , und . CONCUR, Volume 203 von LIPIcs, Seite 4:1-4:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Schützenberger Products in a Category., und . DLT, Volume 9840 von Lecture Notes in Computer Science, Seite 89-101. Springer, (2016)Bialgebraic Reasoning on Higher-Order Program Equivalence., , , und . CoRR, (2024)