Logic-Automata Connections for Transformations.

Emmanuel Filiot

Published in: ICLA (2015)

Keyphrases

cellular automata
logic programming
modal logic
automata theoretic
finite state
finite automata
databases
classical logic
logic programs
computational properties
digital circuits
turing machine