Model Representation over Finite and Infinite Signatures
Christian G. Fermüller, Reinhard Pichler · Journal of Logic and Computation · 2007
Journal Article Model Representation over Finite and Infinite Signatures Get access Christian G. Fermüller, Christian G. Fermüller Technische Universität Wien, A-1040 Vienna, Austria. Search for other works by this author on: Oxford Academic Google Scholar Reinhard Pichler Reinhard Pichler Technische Universität Wien, A-1040 Vienna, Austria. Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 17, Issue 3, June 2007, Pages 453–477, https://doi.org/10.1093/logcom/exm008 Published: 21 March 2007 Article history Received: 12 October 2006 Published: 21 March 2007