First-order logics: some characterizations and closure properties

From MaRDI portal
Publication:715044

DOI10.1007/s00236-012-0157-zzbMath1279.68143OpenAlexW1975359072MaRDI QIDQ715044

Carlo Mereghetti, Christian Choffrut, Andreas Malcher, Beatrice Palano

Publication date: 15 October 2012

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-012-0157-z




Related Items (5)


Uses Software


Cites Work


This page was built for publication: First-order logics: some characterizations and closure properties