( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The omega-Sequence Equivalence Problem for DOL Systems Is Decidable

, и . STOC, стр. 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.

Boris Culik

Charalambos Karela

Takashi Iida

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

Netta Iivari

 

Другие публикации лиц с тем же именем

A Note on the Equivalence Problem of Rational Formal Power Series., и . Inf. Process. Lett., 23 (1): 29-31 (1986)The Equivalence of Finite Valued Transducers (On HDT0L Languages) is Decidable., и . Theor. Comput. Sci., 47 (3): 71-84 (1986)Real-Time, Pseudo Real-Time, and Linear-Time ITA., и . Theor. Comput. Sci., 47 (3): 15-26 (1986)An Efficient Solution of the Firing Mob Problem., и . Theor. Comput. Sci., 91 (1): 57-69 (1991)Iterative Tree Automata., и . Theor. Comput. Sci., (1984)Iterative Devices Generating Infinite Words., и . Int. J. Found. Comput. Sci., 5 (1): 69-97 (1994)LR-Regular Grammars-An Extension of LR(k) Grammars, и . SWAT, стр. 153-165. IEEE Computer Society, (1971)Parallel Pattern Generation with One-Way Communications., и . Results and Trends in Theoretical Computer Science, том 812 из Lecture Notes in Computer Science, стр. 85-96. Springer, (1994)Automata-Theoretic Techniques for Image Generation and Compression., и . FSTTCS, том 472 из Lecture Notes in Computer Science, стр. 76-90. Springer, (1990)Secure Information Storage and Retrieval Using New Results in Cryptography., и . Inf. Process. Lett., 8 (4): 181-186 (1979)