Disambiguation evidence for Büchi automata via surface form

"Büchi automata"

Triples (2)

Triples where some other subject referred to this entity as "Büchi automata".

linear temporal logic → isRelatedTo →
"Büchi automata"
↳ resolves to Büchi automata
ⓘ
LTL → hasAutomataTheoreticCorrespondence →
"Büchi automata"
↳ resolves to Büchi automata
ⓘ