Bisimulation Equivalence is Decidable for One-Counter Processes.

Published in: ICALP (1997)

Keyphrases

datalog programs
equivalence relation
databases
data mining
case study
database
machine learning
artificial intelligence
decision making
expert systems