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