Login / Signup

Sequent calculi and abstract machines.

Zena M. AriolaAaron BohannonAmr Sabry
Published in: ACM Trans. Program. Lang. Syst. (2009)
Keyphrases
  • sequent calculi
  • conditional logic
  • knowledge base
  • state space
  • cut elimination