scientific article; zbMATH DE number 1499088

zbMATH Open0964.03512MaRDI QIDQ4501142FDOQ4501142

Didier Galmiche, Guy Perrier

Publication date: 3 September 2000

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

Recommendations

• Proof strategies in linear logic
• scientific article; zbMATH DE number 1324433
• scientific article; zbMATH DE number 1231522
• On proof normalization in linear logic

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cited In (10)

• Proof strategies in linear logic
• Design Strategies for ARX with Provable Bounds: Sparx and LAX
• Title not available (Why is that?)
• Efficient resource management for linear logic proof search
• A PSPACE-complete fragment of second-order linear logic
• Title not available (Why is that?)
• Connection methods in linear logic and proof nets construction
• Proof-search in type-theoretic languages: An introduction
• Linear strategy for Boolean ring based theorem proving
• Proof-search and proof nets in mixed 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 Q4501142)