[GMR+08] Soft linear Logic and Polynomial Complexity Classes

Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)

GaboardiMarionRonchi08lsfa (In proceedings)
Author(s)	Marco Gaboardi, Jean-Yves Marion and Simona Ronchi Della Rocca
Title	« Soft linear Logic and Polynomial Complexity Classes »
In	Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2007)
Series	Electronic Notes in Theoretical Computer Science
Volume	205
Page(s)	67--87
Year	2008
Publisher	Elsevier
URL	http://dx.doi.org/10.1016/j.entcs.2008.03.066
PDF	http://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)