On the Relationships Between Theories of Time Granularity and the Monadic Second−order Theory of One Successor
Main Authors: | Montanari, A, Peron, A, Puppis, G |
---|---|
Format: | Journal article |
Published: |
2006
|
Similar Items
-
Weak Monadic Second Order Theory of Successor is not Element-recurive
by: Meyer, Albert R.
Published: (2023) -
The monadic second order theory of all countable ordinals /
by: 359235 Buchi, J. Richard, et al.
Published: (1984) -
A Theory of Ultimately Periodic Languages and Automata With an Application to Time Granularity
by: Bresolin, D, et al.
Published: (2009) -
A Functional (Monadic) Second-Order Theory of Infinite Trees
by: Anupam Das, et al.
Published: (2020-10-01) -
Monadic Second-Order Classes of Forests with a Monadic Second-Order 0-1 Law
by: Jason P. Bell, et al.
Published: (2012-05-01)