Login / Signup
The Mechanisation of Barendregt-Style Equational Proofs (the Residual Perspective).
René Vestergaard
James 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