Login / Signup
Local Bigraphs and Confluence: Two Conjectures: (Extended Abstract).
Robin Milner
Published in:
EXPRESS (2006)
Keyphrases
</>
extended abstract
theorem prover
rewrite systems
database
learning algorithm
expert systems
domain knowledge
probabilistic model
upper bound
inductive inference