Login / Signup
Automorphism Groups and Quotients of Strongly Connected Automata and Monadic Algebras
Rudolf Bayer
Published in:
SWAT (1966)
Keyphrases
</>
strongly connected
directed graph
optimum path forest
deductive databases
cellular automata
temporal reasoning
regular expressions
datalog programs
undirected graph
finite automata
datalog queries