Model Representation over Finite and Infinite Signatures

DOI10.1093/logcom/exm008zbMath1139.03009OpenAlexW2040182340MaRDI QIDQ5431608

Christian G. Fermüller, Reinhard Pichler

Publication date: 12 December 2007

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exm008

zbMATH Keywords

atomic representationdecision problemterm modelclause

Mathematics Subject Classification ID

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

Related Items (2)

Decidability Results for Saturation-Based Model Building ⋮ SCL clause learning from simple models

Uses Software

• Darwin

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