Login / Signup

Proof Pearl: De Bruijn Terms Really Do Work.

Michael NorrishRené Vestergaard
Published in: TPHOLs (2007)
Keyphrases
  • real time
  • search engine
  • social networks
  • information retrieval systems
  • theorem prover