Automata Equipped with Auxiliary Data Structures and Regular Realizability Problems

Alexander A. Rubtsov, Mikhail N. Vyalyi. Automata Equipped with Auxiliary Data Structures and Regular Realizability Problems. In Yo-Sub Han, Sang-Ki Ko, editors, Descriptional Complexity of Formal Systems - 23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual Event, September 5, 2021, Proceedings. Volume 13037 of Lecture Notes in Computer Science, pages 150-162, Springer, 2021. [doi]

Authors

Alexander A. Rubtsov

This author has not been identified. Look up 'Alexander A. Rubtsov' in Google

Mikhail N. Vyalyi

This author has not been identified. Look up 'Mikhail N. Vyalyi' in Google