Login / Signup

The Mechanisation of Barendregt-Style Equational Proofs (the Residual Perspective).

René VestergaardJames Brotherston
Published in: Electron. Notes Theor. Comput. Sci. (2001)
Keyphrases
  • theorem proving
  • equational theories
  • theorem prover
  • viewpoint
  • social networks
  • artificial intelligence
  • learning environment
  • relational databases
  • evolutionary algorithm
  • inference rules