Model Representation over Finite and Infinite Signatures

DOI10.1007/11853886_15zbMATH Open1152.03312OpenAlexW1587803076MaRDI QIDQ3533129FDOQ3533129

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

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

Mathematics Subject Classification ID

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

Cited In (3)

• Classification of signature-only signature models
• Model Representation over Finite and Infinite Signatures
• On representing concepts in finite 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)