Toward Model Theory with Data Values

DOI10.1007/978-3-642-31585-5_14zbMath1367.03051OpenAlexW119551458MaRDI QIDQ3167004

Mikołaj Bojańczyk, Thomas Place

Publication date: 1 November 2012

Published in: Automata, Languages, and Programming (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.309.7979

Mathematics Subject Classification ID

Logic in computer science (03B70) Nonclassical and second-order set theories (03E70) Basic properties of first-order languages and structures (03C07)

Related Items (2)

Unnamed Item ⋮ On regular paths with counting and data tests

This page was built for publication: Toward Model Theory with Data Values