scientific article; zbMATH DE number 785051

zbMATH Open0828.03004MaRDI QIDQ4842540FDOQ4842540

Authors: Andre Scedrov 

Publication date: 14 August 1995

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1231522
• First-order linear logic without modalities is NEXPTIME-hard
• Soft linear logic and polynomial complexity classes
• Decision problems for propositional linear logic
• Bounded linear logic: A modular approach to polynomial-time computability

zbMATH Keywords

surveycomplexity classesproof searchPSPACE-hardnessfragments of linear logic

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited In (18)

• Encoding linear logic with interaction combinators
• Title not available (Why is that?)
• Nonelementary complexities for branching VASS, MELL, and extensions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Linear logic as a logic of computations
• The complexity of Horn fragments of linear logic
• Bounded linear logic: A modular approach to polynomial-time computability
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the computational complexity of cut-elimination in linear logic.
• First-order linear logic without modalities is NEXPTIME-hard
• Title not available (Why is that?)
• Linear logic with fixed resources
• Constant-only multiplicative linear logic is NP-complete
• A PSPACE-complete fragment of second-order linear logic
• Title not available (Why is that?)
• RASP and ASP as a fragment of linear logic

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 Q4842540)