( en | de | ru )

 

Disambiguierung von "Piccolo, Mauro"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
QPCF: Higher-Order Languages and Quantum Circuits.

, , und . J. Autom. Reason., 63 (4): 941-966 (2019)

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.

Carmela Piccolo

Christian Mauro

Frank Mauroschat

Jacopo Mauro

Carola Mauroschat-Galla

 

Weitere Publikationen von Autoren mit dem selben Namen

Ludics is a Model for the Finitary Linear Pi-Calculus., und . TLCA, Volume 4583 von Lecture Notes in Computer Science, Seite 148-162. Springer, (2007)Strong Normalization in the π-calculus with Intersection and Union Types.. Fundam. Informaticae, 121 (1-4): 227-252 (2012)On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions., , und . New Generation Comput., 36 (3): 233-256 (2018)A class of Recursive Permutations which is Primitive Recursive complete., , und . Theor. Comput. Sci., (2020)QPCF: higher order languages and quantum circuits., , und . CoRR, (2018)Semantically linear programming languages., und . PPDP, Seite 97-107. ACM, (2008)Essential and relational models., , und . Math. Struct. Comput. Sci., 27 (5): 626-650 (2017)Partial Orders, Event Structures and Linear Strategies., und . TLCA, Volume 5608 von Lecture Notes in Computer Science, Seite 95-111. Springer, (2009)A Graph Abstract Machine Describing Event Structure Composition., und . GT-VC@CONCUR, Volume 175 von Electronic Notes in Theoretical Computer Science, Seite 21-36. Elsevier, (2006)Logical Semantics for Stability., , und . MFPS, Volume 249 von Electronic Notes in Theoretical Computer Science, Seite 429-449. Elsevier, (2009)