( en | de | ru )

 

Disambiguation of "II, Karel Culík"

Author of the publication

copydeleteadd this publication to your clipboard
The omega-Sequence Equivalence Problem for DOL Systems Is Decidable

, and . STOC, page 1-6. ACM, (1981)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Boris Culik

Charalambos Karela

Takashi Iida

Vilborg Auður IÌ0sleifsdóttir-Bickel

Netta Iivari

 

Other publications of authors with the same name

A Note on the Equivalence Problem of Rational Formal Power Series., and . Inf. Process. Lett., 23 (1): 29-31 (1986)Mechanisms for Pattern Generation., and . Complex Syst., (1993)Undecidability of CA Classification Schemes., and . Complex Syst., (1988)Fractal and Recurrent Behavior of Cellular Automata., and . Complex Syst., (1989)An Efficient Solution of the Firing Mob Problem., and . Theor. Comput. Sci., 91 (1): 57-69 (1991)Iterative Tree Automata., and . Theor. Comput. Sci., (1984)The Equivalence of Finite Valued Transducers (On HDT0L Languages) is Decidable., and . Theor. Comput. Sci., 47 (3): 71-84 (1986)Real-Time, Pseudo Real-Time, and Linear-Time ITA., and . Theor. Comput. Sci., 47 (3): 15-26 (1986)A Note on Synchronized Automata and Road Coloring Problem., , and . Int. J. Found. Comput. Sci., 13 (3): 459-471 (2002)Iterative Devices Generating Infinite Words., and . Int. J. Found. Comput. Sci., 5 (1): 69-97 (1994)