Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

GaboardiMarionRonchi08lsfa (In proceedings)
Author(s) Marco Gaboardi, Jean-Yves Marion and Simona Ronchi Della Rocca
Title« Soft linear Logic and Polynomial Complexity Classes »
InProceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2007)
SeriesElectronic Notes in Theoretical Computer Science
Volume205
Page(s)67--87
Year2008
PublisherElsevier
URLhttp://dx.doi.org/10.1016/j.entcs.2008.03.066
PDFhttp://www.di.unito.it/˜gaboardi/papers/GaboardiMarionRonchi08lsfa.pdf
Keywords
Keywords: Implicit computational complexity; linear logic; polynomial space; type assignment

BibTeX code

@inproceedings{GaboardiMarionRonchi08lsfa,
  volume = {205},
  pdf = {http://www.di.unito.it/~gaboardi/papers/GaboardiMarionRonchi08lsfa.pdf},
  author = {Gaboardi, Marco and Marion, Jean-Yves and {Ronchi Della Rocca},
            Simona},
  series = {Electronic Notes in Theoretical Computer Science},
  keywords = {Implicit computational complexity; linear logic; polynomial space;
              type assignment},
  booktitle = {Proceedings of the Second Workshop on Logical and Semantic
               Frameworks, with Applications (LSFA 2007)},
  url = {http://dx.doi.org/10.1016/j.entcs.2008.03.066},
  title = {Soft linear Logic and Polynomial Complexity Classes},
  publisher = {Elsevier},
  pages = {67--87},
  year = {2008},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!