Automata and Logic on p-adic numbers.

Achille Frigeri

Published in: ICTCS (2009)

Keyphrases

classical logic
automata theoretic
cellular automata
asynchronous circuits
modal logic
regular expressions
multi valued
dynamic logic
database
temporal logic
information retrieval
finite state
tree automata
logic programming
natural deduction
proof theory
probabilistic automata
expert systems
timed automata