An algorithm for the solution of fixed-point equations for infinite words
RAIRO. Inform. théor., 14 2 (1980) 131-141
Published online: 2017-02-01
Articles citing this article
The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).
Cited article:
This article has been cited by the following article(s):
SOFSEM 2020: Theory and Practice of Computer Science
Kitti Gelle and Szabolcs IvánLecture Notes in Computer Science, SOFSEM 2020: Theory and Practice of Computer Science 12011 273 (2020)
https://doi.org/10.1007/978-3-030-38919-2_23
On the Order Type of Scattered Context-Free Orderings
Kitti Gelle and Szabolcs IvánElectronic Proceedings in Theoretical Computer Science 305 169 (2019)
https://doi.org/10.4204/EPTCS.305.12
The ordinal generated by an ordinal grammar is computable
Kitti Gelle and Szabolcs IvánTheoretical Computer Science 793 1 (2019)
https://doi.org/10.1016/j.tcs.2019.04.016
A Note on Ordinal DFAs
Stephen L. Bloom and Yi Di ZhangOrder 30 (1) 151 (2013)
https://doi.org/10.1007/s11083-011-9233-1
Isomorphism of regular trees and words
Markus Lohrey and Christian MathissenInformation and Computation 224 71 (2013)
https://doi.org/10.1016/j.ic.2013.01.002
ORDINAL AUTOMATA AND CANTOR NORMAL FORM
ZOLTÁN ÉSIKInternational Journal of Foundations of Computer Science 23 (01) 87 (2012)
https://doi.org/10.1142/S0129054112400060
On Müller context-free grammars
Zoltán Ésik and Szabolcs IvánTheoretical Computer Science 416 17 (2012)
https://doi.org/10.1016/j.tcs.2011.10.012
Büchi context-free languages
Zoltán Ésik and Szabolcs IvánTheoretical Computer Science 412 (8-10) 805 (2011)
https://doi.org/10.1016/j.tcs.2010.11.026
Developments in Language Theory
Zoltán Ésik and Szabolcs IvánLecture Notes in Computer Science, Developments in Language Theory 6224 173 (2010)
https://doi.org/10.1007/978-3-642-14455-4_17
Theoretical Aspects of Computing - ICTAC 2009
Zoltán Ésik and Szabolcs IvánLecture Notes in Computer Science, Theoretical Aspects of Computing - ICTAC 2009 5684 185 (2009)
https://doi.org/10.1007/978-3-642-03466-4_12
Tree Automata and Automata on Linear Orderings
Véronique Bruyère, Olivier Carton and Géraud SénizerguesRAIRO - Theoretical Informatics and Applications 43 (2) 321 (2009)
https://doi.org/10.1051/ita/2009009
Automata on linear orderings
Véronique Bruyère and Olivier CartonJournal of Computer and System Sciences 73 (1) 1 (2007)
https://doi.org/10.1016/j.jcss.2006.10.009
A KLEENE THEOREM FOR LANGUAGES OF WORDS INDEXED BY LINEAR ORDERINGS
ALEXIS BÈS and OLIVIER CARTONInternational Journal of Foundations of Computer Science 17 (03) 519 (2006)
https://doi.org/10.1142/S0129054106003978
Developments in Language Theory
Alexis Bès and Olivier CartonLecture Notes in Computer Science, Developments in Language Theory 3572 158 (2005)
https://doi.org/10.1007/11505877_14
Axiomatizing omega and omega-op powers of words
Stephen L. Bloom and Zoltán ÉsikRAIRO - Theoretical Informatics and Applications 38 (1) 3 (2004)
https://doi.org/10.1051/ita:2004005
Infinite Words - Automata, Semigroups, Logic and Games
Pure and Applied Mathematics, Infinite Words - Automata, Semigroups, Logic and Games 141 499 (2004)https://doi.org/10.1016/S0079-8169(04)80014-X
Developments in Language Theory
Véronique Bruyère and Olivier CartonLecture Notes in Computer Science, Developments in Language Theory 2450 103 (2003)
https://doi.org/10.1007/3-540-45005-X_9
Mathematical Foundations of Computer Science 2001
Véronique Bruyère and Olivier CartonLecture Notes in Computer Science, Mathematical Foundations of Computer Science 2001 2136 236 (2001)
https://doi.org/10.1007/3-540-44683-4_21
Infinite hypergraphs I. Basic properties
Michael BauderonTheoretical Computer Science 82 (2) 177 (1991)
https://doi.org/10.1016/0304-3975(91)90222-N
On frontiers of regular trees
Wolfgang ThomasRAIRO - Theoretical Informatics and Applications 20 (4) 371 (1986)
https://doi.org/10.1051/ita/1986200403711
Continuous monoids and yields of infinite trees
M. Dauchet and E. TimmermanRAIRO - Theoretical Informatics and Applications 20 (3) 251 (1986)
https://doi.org/10.1051/ita/1986200302511
Automata on Infinite Words
Max Dauchet and Erick TimmermanLecture Notes in Computer Science, Automata on Infinite Words 192 118 (1985)
https://doi.org/10.1007/3-540-15641-0_29
Fundamentals of Computation Theory
Axel PoignéLecture Notes in Computer Science, Fundamentals of Computation Theory 117 301 (1981)
https://doi.org/10.1007/3-540-10854-8_33