Coalgebraic Trace Semantics for Buechi and Parity Automata.

Natsuki Urabe Shunsuke Shimizu Ichiro Hasuo

Published in: CoRR (2016)

Keyphrases

databases
logic programming
cellular automata
finite automata
database
genetic algorithm
information systems
transformation rules