Login / Signup

Syntactic analysis of eta-expansions in Pure Type Systems.

Felix Joachimski
Published in: Inf. Comput. (2003)
Keyphrases
  • syntactic analysis
  • artificial intelligence
  • expert systems
  • web pages
  • relational databases
  • domain specific
  • information retrieval systems