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