Login / Signup
Decidability of bisimulation equivalence for normed pushdown processes.
Colin Stirling
Published in:
SIGACT News (1999)
Keyphrases
</>
equivalence relation
query containment
neural network
machine learning
artificial intelligence
information systems
description logics
data sets
probability distribution