Pages that link to "Item:Q3167496"
From MaRDI portal
The following pages link to Analogs of Fagin’s Theorem for Small Nondeterministic Finite Automata (Q3167496):
Displaying 6 items.
- Small model property reflects in games and automata (Q2151424) (← links)
- A Logical Characterization of Small 2NFAs (Q2830217) (← links)
- A universality theorem for the sequential behaviour of minimal $F$-automata (Q2979419) (← links)
- A Logical Characterization of Small 2NFAs (Q4605508) (← links)
- (Q5004969) (← links)
- Yet another proof of the cascade decomposition theorem for finite automata: Correction (Q5565127) (← links)