Modelling Infinite Structures with Atoms

DOI10.1007/978-3-642-39992-3_3zbMath1394.03055OpenAlexW135067159MaRDI QIDQ2849420

Mikołaj Bojańczyk

Publication date: 17 September 2013

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39992-3_3

Mathematics Subject Classification ID

Logic in computer science (03B70) Basic properties of first-order languages and structures (03C07)

Related Items (5)

Unnamed Item ⋮ Beyond Knowing That: A New Generation of Epistemic Logics ⋮ Nondeterministic and co-nondeterministic implies deterministic, for data languages ⋮ Unnamed Item ⋮ A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours

This page was built for publication: Modelling Infinite Structures with Atoms