(Nominal) Unification by Recursive Descent with Triangular Substitutions

Citation

Kumar, R & Norrish, M 2010, '(Nominal) Unification by Recursive Descent with Triangular Substitutions', International Conference on Interactive Theorem Proving (ITP 2010), Springer, Berlin, p. 16.

Year

2010

ANU Authors

Field of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified

Updated:  15 April 2021 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers