A Combinatory Logic Approach to Higher-Order E-Unification

@article{Dougherty1995ACL,
  title={A Combinatory Logic Approach to Higher-Order E-Unification},
  author={Daniel J. Dougherty and Patricia Johann},
  journal={Theor. Comput. Sci.},
  year={1995},
  volume={139},
  pages={207-242}
}

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…