Model Representation over Finite and Infinite Signatures
From MaRDI portal
Publication:3533129
DOI10.1007/11853886_15zbMath1152.03312OpenAlexW1587803076MaRDI QIDQ3533129
Reinhard Pichler, Christian G. Fermüller
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
This page was built for publication: Model Representation over Finite and Infinite Signatures