Login / Signup
On the Decidability of Non-Interleaving Process Equivalences.
Astrid Kiehn
Published in:
CONCUR (1994)
Keyphrases
</>
image sequences
data sets
data mining
genetic algorithm
relational databases
description logics
query answering