A combinatory logic approach to higher-order E-unification

Authors: Dougherty D.J.; Johann P.¹

Source: Theoretical Computer Science, Volume 139, Number 1, 6 March 1995 , pp. 207-242(36)

Publisher: Elsevier

Language: English

Document Type: Research article

DOI: 10.1016/0304-3975(94)00210-A

Affiliations: 1: Department of Mathematics and Computer Science, Hobart and William Smith Colleges, Geneva, NY 14456, USA

Links for this article

http://www.ingentaconnect.com/els/03043975/1995/00000139/00000001/art00210
http://openurl.ingenta.com/content?genre=article&issn=0304-3975&volume=139&issue=1&spage=207&epage=242
http://dx.doi.org/10.1016/0304-3975(94)00210-A