Login / Signup

Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types.

Amal J. Ahmed
Published in: ESOP (2006)
Keyphrases
  • natural language
  • logical structure
  • data sets
  • neural network
  • data mining
  • case study
  • relational databases