Login / Signup

The Limits of Unification.

Robert Ingria
Published in: ACL (1990)
Keyphrases
  • higher order
  • equational theories
  • special case
  • high resolution
  • object oriented
  • distributed systems
  • dynamic environments
  • fine grained
  • theorem proving