Model Representation over Finite and Infinite Signatures

DOI10.1007/11853886_15MaRDI QIDQ3533129zbMATH OpenOpenAlexFDO

Authors Christian G. Fermüller, Reinhard Pichler

Publication date 30 October 2008

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11853886_15

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Model Representation over Finite and Infinite Signatures
• Automated Deduction – CADE-20
• scientific article; zbMATH DE number 1088201
• Working with ARMs: Complexity results on atomic representations of Herbrand models
• scientific article; zbMATH DE number 2090303

Cited in

(4)

• On the expressivity and applicability of model representation formalisms
• On representing concepts in finite models
• Model Representation over Finite and Infinite Signatures
• Classification of signature-only signature models

This page was built for publication: Model Representation over Finite and Infinite Signatures

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