Login / Signup

An Abstract Machine for Symbolic Computation.

D. L. Overheu
Published in: J. ACM (1966)
Keyphrases
  • abstract machine
  • data model
  • automated deduction
  • imperative programs
  • artificial intelligence
  • database systems
  • data warehouse
  • activity recognition
  • partial order