The explicit representability of implicit generalizations

DOI10.1007/10721975_13MaRDI QIDQ2723900zbMATH OpenFDO

Authors Reinhard Pichler

Publication date 8 July 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10721975_13

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 975284
• Generalizations of Implication Algebras
• General implicativity in groupoids
• A generalized representer theorem
• A Generic Framework for Higher-Order Generalizations.
• Implicational lattices and generalization of Stone's representation theorem
• The expressive power of implicit specifications
• The expressive power of implicit specifications
• The expressive power of finitely many generalized quantifiers
• On the expressivity of minimal generic quantification

Cited in

(6)

• Explicit representation of terms defined by counter examples
• On deciding subsumption problems
• Explicit versus implicit representations of subsets of the Herbrand universe.
• scientific article; zbMATH DE number 845928 (Why is no real title available?)
• Automated Deduction – CADE-20
• Generalized implicit definitions on finite structures

This page was built for publication: The explicit representability of implicit generalizations

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