Autor der Publikation

A Purely Algebraic Proof of McNaughton's Theorem on Infinite Words.

, , und . FSTTCS, Volume 560 von Lecture Notes in Computer Science, Seite 141-151. Springer, (1991)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

On coding morphisms for zigzag codes., , und . RAIRO Theor. Informatics Appl., (1992)On modelling and rendering ocean scenes., und . Comput. Animat. Virtual Worlds, 11 (1): 27-37 (2000)A Purely Algebraic Proof of McNaughton's Theorem on Infinite Words., , und . FSTTCS, Volume 560 von Lecture Notes in Computer Science, Seite 141-151. Springer, (1991)Saturating right congruences.. RAIRO Theor. Informatics Appl., (1990)Rebootable and suffix-closed omega-power languages., und . RAIRO Theor. Informatics Appl., (1992)An efficient data structure for random walk algorithms in faceted porous media., , und . Symposium on Solid Modeling and Applications, Seite 301. ACM, (2001)A More Efficient Notion of Zigzag Stability., , und . RAIRO Theor. Informatics Appl., 30 (3): 181-194 (1996)Stability for the Zigzag Submonoids., , und . Theor. Comput. Sci., 108 (2): 237-249 (1993)Distributed Local 2-Connectivity Test of Graphs and Applications., , und . ISPA, Volume 4742 von Lecture Notes in Computer Science, Seite 195-207. Springer, (2007)On the Minimization Prolem for Omega-Automata., und . MFCS, Volume 841 von Lecture Notes in Computer Science, Seite 504-514. Springer, (1994)