Author of the publication

Inclusion is Undecidable for Pattern Languages.

, , , and . ICALP, volume 700 of Lecture Notes in Computer Science, page 301-312. Springer, (1993)

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.

 

Other publications of authors with the same name

Confluence, ground confluence, and termination of monadic term rewriting systems.. Elektronische Informationsverarbeitung und Kybernetik, 28 (5): 279-309 (1992)A Cryptosystem Based on the Composition of Reversible Cellular Automata., and . LATA, volume 5457 of Lecture Notes in Computer Science, page 314-325. Springer, (2009)Nondeterminism Degrees for Context-Free Languages., and . Developments in Language Theory, page 154-165. World Scientific, Singapore, (1995)Complexity of input-driven pushdown automata., and . SIGACT News, 45 (2): 47-67 (2014)Preface., and . Int. J. Found. Comput. Sci., 28 (5): 437-440 (2017)Localized algorithms for redundant readers elimination in RFID networks., , and . IJPEDS, 34 (3): 260-271 (2019)Alternating Finite Automata with Limited Universal Branching., and . LATA, volume 12038 of Lecture Notes in Computer Science, page 196-207. Springer, (2020)Quasi-Distances and Weighted Finite Automata., , and . DCFS, volume 9118 of Lecture Notes in Computer Science, page 209-219. Springer, (2015)The Length of the Beacon Attraction Trajectory., , and . CCCG, page 69-74. Simon Fraser University, Vancouver, British Columbia, Canada, (2016)State Complexity of Combined Operations for Prefix-Free Regular Languages., , , and . Discrete Mathematics and Computer Science, page 137-151. The Publishing House of the Romanian Academy, (2014)