scientific article; zbMATH DE number 1615238

zbMATH Open0964.68071MaRDI QIDQ2723900FDOQ2723900

Reinhard Pichler

Publication date: 8 July 2001

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

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Grammars and rewriting systems (68Q42)

Cited In (3)

• Explicit versus implicit representations of subsets of the Herbrand universe.
• Automated Deduction – CADE-20
• On deciding subsumption problems

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• On the expressivity of minimal generic quantification 👍 👎
• The expressive power of finitely many generalized quantifiers 👍 👎
• Generalizations of Implication Algebras 👍 👎
• A Generic Framework for Higher-Order Generalizations. 👍 👎
• The expressive power of implicit specifications 👍 👎
• General implicativity in groupoids 👍 👎
• Implicational lattices and generalization of Stone's representation theorem 👍 👎

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