Normal view
MARC view
Formal languages(Topical Term)
Machine generated authority record.
Work cat.: (OSt)20: Automata theory and logic /, c2018.
