A Myhill-Nerode theorem for register automata and symbolic trace languages

DOI10.1007/978-3-030-64276-1_3OpenAlexW3107380193MaRDI QIDQ5918323

Frits W. Vaandrager, Abhisek Midya

Publication date: 8 July 2021

Published in: Theoretical Aspects of Computing – ICTAC 2020 (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2007.03540

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: A Myhill-Nerode theorem for register automata and symbolic trace languages