Automata on Infinite Objects and Their Applications to Logic and Programming

Maurice Nivat Ahmed Saoudi

Published in: Inf. Comput. (1989)

Keyphrases

moving objects
object detection
cellular automata
object model
database systems
d objects
programming language
automated reasoning
programming environment
multi valued
classical logic
asynchronous circuits