Hereditary History-Preserving Bisimilarity: Logics and Automata.

Paolo Baldan Silvia Crafa

Published in: APLAS (2014)

Keyphrases

finite automata
modal logic
cellular automata
expressive power
machine learning
regular expressions
nonmonotonic logics
computational properties
finite state machines
inference rules
data sets
expert systems
reinforcement learning
website
decision making
tree automata
proof theory
lattice gas