PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Roversi, Luca"

Author of the publication

copydeleteadd this publication to your clipboard
A Modular Database Architecture Enabled to Comparative Sequence Analysis.

, , , , , , , , , and . Trans. Large-Scale Data- and Knowledge-Centered Systems, (2011)

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. You can also use the button next to the name to display some publications already assigned to the person.

Luca Remke University of Stuttgart

Luca Di Grazia University of Stuttgart

Philipp Luca Reiser University of Stuttgart

Dr. Simone Luca Portalupi University of Stuttgart

Gian-Luca Iglesias Lopez University of Stuttgart

 

Other publications of authors with the same name

Safe Recursion on Notation into a Light Logic by Levels, and . DICE, volume 23 of EPTCS, page 63-77. (2010)Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets., and . TYPES, volume 5497 of Lecture Notes in Computer Science, page 306-322. Springer, (2008)Can a Light Typing Discipline Be Compatible with an Efficient Implementation of Finite Fields Inversion?, , , , and . FOPARA, volume 8552 of Lecture Notes in Computer Science, page 38-57. Springer, (2013)The Fixed Point Problem for General and for Linear SRL Programs is Undecidable., , and . ICTCS, volume 2243 of CEUR Workshop Proceedings, page 128-139. CEUR-WS.org, (2018)A Type-Free Resource-Aware Lambda-Calculus.. CSL, volume 1258 of Lecture Notes in Computer Science, page 399-413. Springer, (1996)Lambda Calculus and Intuitionistic Linear Logic., and . Studia Logica, 59 (3): 417-448 (1997)Weak Affine Light Typing: Polytime intensional expressivity, soundness and completeness. CoRR, (2007)Communication, and concurrency with logic-based restriction inside a calculus of structures. CoRR, (2012)Taming Modal Impredicativity: Superlazy Reduction., , and . LFCS, volume 5407 of Lecture Notes in Computer Science, page 137-151. Springer, (2009)Subatomic systems need not be subatomic.. CoRR, (2018)