First-order logics: some characterizations and closure properties
From MaRDI portal
Publication:715044
DOI10.1007/s00236-012-0157-zzbMath1279.68143MaRDI QIDQ715044
Carlo Mereghetti, Beatrice Palano, Andreas Malcher, Christian Choffrut
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
recognition; \(\mathrm{FO}[+\)-definable languages]; semilinear languages; word bounded languages
Uses Software