Login / Signup

FOL: A Language for Implementing File Organizations for Information Storage and Retrieval Systems.

Billy G. Claybrook
Published in: SIGPLAN (1973)
Keyphrases
  • file organizations
  • access methods
  • highly expressive
  • language learning
  • representation language
  • knowledge representation
  • first order logic
  • programming language
  • theorem proving
  • formal semantics
  • high level
  • b tree