Higher-Order Unification and Matching

  title={Higher-Order Unification and Matching},
  author={Gilles Dowek},
  booktitle={Handbook of Automated Reasoning},
  • Gilles Dowek
  • Published 2001 in Handbook of Automated Reasoning

From This Paper

Topics from this paper.
59 Citations
0 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 59 extracted citations

Similar Papers

Loading similar papers…