Transfinite equations in transfinite strings 1
Download:
|
|
by Christian Choffrut
http://www.liafa.jussieu.fr/~cc/publications/eq-final.ps.gz
Add To MetaCart
Abstract:
Transfinite strings have long been introduced. Logicians were the first to study them with the pioneering works of Buchi on the decidability of the monadic second order logic on the ordinal! 1 [3], followed by other investigations beyond! 1 [19] or more specifically on
Citations
| 8 | An Eilenberg theorem for words on countable ordinals – Bedon, Carton - 1998 |
| 5 | Automata, semigroups and recognizability of words on ordinals – Bedon - 1998 |
| 1 | The monadic theory of ! 1 – Buchi |
