( en | de | ru )

 

Disambiguierung von "Kaarsgaard, Robin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Foundations of Reversible Computation.

, , , , , , , , , und 5 andere Autor(en). Selected Results of the COST Action IC1405, Volume 12070 von Lecture Notes in Computer Science, Springer, (2020)

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.

Nehemia Robinson

Meinhard Robinow

Gnana Robinson

Helga Robinson-Hammerstein

Klaus-P Robiné

 

Weitere Publikationen von Autoren mit dem selben Namen

Reversible Programs Have Reversible Semantics., , und . FM Workshops (2), Volume 12233 von Lecture Notes in Computer Science, Seite 413-427. Springer, (2019)The Quantum Effect: A Recipe for QuantumPi., , , und . CoRR, (2023)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)Combinatory Adjoints and Differentiation., , , , und . MSFP@ETAPS, Volume 360 von EPTCS, Seite 1-26. (2022)Jeopardy: An Invertible Functional Programming Language., , und . RC, Volume 14680 von Lecture Notes in Computer Science, Seite 124-141. Springer, (2024)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)Jeopardy: An Invertible Functional Programming Language., , und . CoRR, (2022)Join inverse rig categories for reversible functional programming, and beyond., und . MFPS, Volume 351 von EPTCS, Seite 152-167. (2021)