Higher-Order Unification and Matching

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

From This Paper

Topics from this paper.
59 Citations
0 References
Similar Papers

Citations

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

Similar Papers

Loading similar papers…