Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Michele Pagani" ( http://dblp.L3S.de/Authors/Michele_Pagani )

  Author page on DBLP  Author page in RDF  Community of Michele Pagani in ASPL-2

Publication years (Num. hits)
2006-2012 (13)
Publication types (Num. hits)
article(5) inproceedings(8)
Venues (Conferences, Journals, ...)
LICS(2) Theor. Comput. Sci.(2) TLCA(2) Ann. Pure Appl. Logic(1) APLAS(1) CSL(1) FOSSACS(1) Fundam. Inform.(1) LPAR(1) Mathematical Structures in Com...(1)
Authors
Michele Pagani(13) Christine Tasson(2) Lorenzo Tortora de Falco(2) Simona Ronchi Della Rocca(2) Damiano Mazza(1) Daniel de Carvalho(1) Giulio Manzonetto(1) Paolo Tranquilli(1) Thomas Ehrhard(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords
Results
Found 13 publication records. Showing 13 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Michele Pagani Visible acyclic differential nets, Part I: Semantics. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Daniel de Carvalho, Michele Pagani, Lorenzo Tortora de Falco A semantic measure of the execution time in linear logic. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Giulio Manzonetto, Michele Pagani Böhm's Theorem for Resource Lambda Calculus through Taylor Expansion. Search on Bibsonomy TLCA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Ehrhard, Michele Pagani, Christine Tasson The Computational Meaning of Probabilistic Coherence Spaces. Search on Bibsonomy LICS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michele Pagani, Lorenzo Tortora de Falco Strong normalization property for second order linear logic. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michele Pagani, Simona Ronchi Della Rocca Linearity, Non-determinism and Solvability. Search on Bibsonomy Fundam. Inform. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michele Pagani, Simona Ronchi Della Rocca Solvability in Resource Lambda-Calculus. Search on Bibsonomy FOSSACS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michele Pagani The Cut-Elimination Theorem for Differential Nets with Promotion. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Michele Pagani, Paolo Tranquilli Parallel Reduction in Resource Lambda-Calculus. Search on Bibsonomy APLAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Michele Pagani, Christine Tasson The Inverse Taylor Expansion Problem in Linear Logic. Search on Bibsonomy LICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Michele Pagani Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Damiano Mazza, Michele Pagani The Separation Theorem for Differential Interaction Nets. Search on Bibsonomy LPAR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Differential interaction nets, faithfulness, linear logic, observational equivalence, proof-nets
1Michele Pagani Acyclicity and Coherence in Multiplicative Exponential Linear Logic. Search on Bibsonomy CSL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #13 of 13 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.