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: http://dx.doi.org/10.1016/0304-3975(94)00210-A

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

Publication date: 1995-03-06

• In this: publication
• By this: publisher
• In this Subject: Computer Science ,  Mathematics and Statistics
• By this author: Dougherty D.J. ;  Johann P.

Website © Publishing Technology. Article copyright remains with the publisher, society or author(s) as specified within the article.

• Terms and conditions
• Privacy policy
• Information for advertisers