Logical definability on infinite traces
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 335-346
- https://doi.org/10.1007/3-540-56939-1_84
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Automata on Infinite ObjectsPublished by Elsevier ,1990
- First-order logic and star-free setsJournal of Computer and System Sciences, 1986
- A syntactic congruence for rational ω-languagesTheoretical Computer Science, 1985
- Words over a Partially Commutative AlphabetPublished by Springer Nature ,1985
- On finite monoids having only trivial subgroupsInformation and Control, 1965