Romanian Journal of Information Technology and Automatic Control / Vol. 2, No. 3-4, 1992

A Proof Theory for General Unification

Dan NICOLĂIȚĂ

Abstract:

Review of A Proof Theory for General Unification, by Wayne Snyder (Birchäuser Publ. House, Boston, 1991, p. 178)

Keywords:

View full article:

CITE THIS PAPER AS:
Dan NICOLĂIȚĂ, "A Proof Theory for General Unification", Romanian Journal of Information Technology and Automatic Control, ISSN 1220-1758, vol. 2(3-4), pp. 82, 1992.