Login / Signup
A Simple Completeness Proof for the Axiomatisations of Weak Behavioural Equivalences.
Yuxin Deng
Published in:
Bull. EATCS (2007)
Keyphrases
</>
linear logic
neural network
machine learning
real time
data sets
case study
image sequences
data model
medical images
data quality
theorem proving
provably correct