scientific article; zbMATH DE number 2061714

MaRDI QIDQ4457461zbMATH OpenFDO

Authors François Maurel

Publication date 22 March 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2701/27010241.htm

zbMATH Keywords

implicit characterisations of complexity classeslight logicsNP complexity

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Recommendations

• On light logics, uniform encodings and polynomial time
• Soft linear logic and polynomial complexity classes
• Linear logic and polynomial time
• Theoretical Computer Science
• A Semantic Proof of Polytime Soundness of Light Affine Logic

Cited in

(6)

• Soft linear logic and polynomial complexity classes
• scientific article; zbMATH DE number 1424054 (Why is no real title available?)
• Coherent interaction graphs
• Linear additives
• Type inference for light affine logic via constraints on words
• An exact correspondence between a typed pi-calculus and polarised proof-nets

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4457461)