Login / Signup

Extending Higher-Order Unification to Support Proof Irrelevance.

Jason Reed
Published in: TPHOLs (2003)
Keyphrases
  • higher order
  • theorem proving
  • pairwise
  • high order
  • theorem prover
  • low order
  • databases
  • information retrieval
  • decision support
  • higher order logic
  • real time
  • website
  • knowledge management
  • natural images