scientific article; zbMATH DE number 1059319

zbMath0882.54017MaRDI QIDQ4353626

Wolfgang Thomas

Publication date: 12 March 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

monadic second-order logicautomatonrecognizable set

Mathematics Subject Classification ID

Modular representations and characters (20C20) Algebraic properties of function spaces in general topology (54C40) Coverings in algebraic geometry (14E20) Rings and algebras of continuous, differentiable or analytic functions (46E25)

Related Items (6)

Automata and Logics for Concurrent Systems: Five Models in Five Pages ⋮ Walking on data words ⋮ Logical aspects of Cayley-graphs: the group case ⋮ Message-passing automata are expressively equivalent to EMSO logic ⋮ Weighted Automata and Logics on Infinite Graphs ⋮ Some notes on graph automata, tiling systems and partition logic

This page was built for publication: