( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
QPCF: Higher-Order Languages and Quantum Circuits.

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

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.

Carmela Piccolo

Christian Mauro

Frank Mauroschat

Jacopo Mauro

Carola Mauroschat-Galla

 

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

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