( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Foundations of Reversible Computation.

, , , , , , , , , и 5 other автор(ы). Selected Results of the COST Action IC1405, том 12070 из Lecture Notes in Computer Science, Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Vincent Robin

Claus Robinski

Nehemia Robinson

Meinhard Robinow

Yohan Robinson

 

Другие публикации лиц с тем же именем

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