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