Browse by Person (creator, editor, contributor, etc.)
Up a level |
Jump to: Article
Number of items: 1.
Article
Grigore, Radu and Tzevelekos, Nikos (2016) History-Register Automata. Logical Methods in Computer Science, 12 (1). pp. 1-32. ISSN 1860-5974. (Full text available) |