Classifying recognizable infinitary trace languages using word automata

Amsterdam / Elsevier (2017) [Journal Article]

Information and computation
Volume: 256
Page(s): 23-34

Authors

Selected Authors

Chaturvedi, Namit
Gelderie, Marcus

Identifier