scientific article; zbMATH DE number 1841812

zbMATH Open0999.03006MaRDI QIDQ4783300

Max Kanovich

Publication date: 4 December 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2142/21420039

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (2)

Title not available (Why is that?) ⋮ Title not available (Why is that?)

Recommendations

• On the expressive power of monadic least fixed point logic 👍 👎
• The complexity of Horn fragments of linear logic 👍 👎
• Monadic logic programs and functional complexity 👍 👎
• The expressive powers of the logic programming semantics 👍 👎
• Expressive Power of Monadic Second-Order Logic and Modal μ-Calculus 👍 👎
• Automata, Languages and Programming 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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