Decidability of Bisimulation Equivalence for Normed Pushdown Processes.

Published in: CONCUR (1996)

Keyphrases

description logics
equivalence relation
data sets
genetic algorithm
query answering
information retrieval
case study
multi agent
computational models
datalog programs