( en | de | ru )

 

Disambiguierung von "Kaarsgaard, Robin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
From reversible programming languages to reversible metalanguages.

, , und . Theor. Comput. Sci., (2022)

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.

Vincent Robin

Claus Robinski

Nehemia Robinson

Meinhard Robinow

Gnana Robinson

 

Weitere Publikationen von Autoren mit dem selben Namen

The Quantum Effect: A Recipe for QuantumPi., , , und . CoRR, (2023)Reversible Programs Have Reversible Semantics., , und . FM Workshops (2), Volume 12233 von Lecture Notes in Computer Science, Seite 413-427. Springer, (2019)From reversible programming languages to reversible metalanguages., , und . Theor. Comput. Sci., (2022)Graph Traversals as Universal Constructions., und . MFCS, Volume 202 von LIPIcs, Seite 17:1-17:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Jeopardy: An Invertible Functional Programming Language., , und . RC, Volume 14680 von Lecture Notes in Computer Science, Seite 124-141. Springer, (2024)Combinatory Adjoints and Differentiation., , , , und . MSFP@ETAPS, Volume 360 von EPTCS, Seite 1-26. (2022)Join Inverse Categories as Models of Reversible Recursion., und . FoSSaCS, Volume 9634 von Lecture Notes in Computer Science, Seite 73-90. Springer, (2016)A Classical Propositional Logic for Reasoning About Reversible Logic Circuits., , und . WoLLIC, Volume 9803 von Lecture Notes in Computer Science, Seite 52-67. Springer, (2016)Join inverse rig categories for reversible functional programming, and beyond., und . MFPS, Volume 351 von EPTCS, Seite 152-167. (2021)Jeopardy: An Invertible Functional Programming Language., , und . CoRR, (2022)