Average-case analysis of Robinson's unification algorithm with two different variables

✍ Scribed by R. Casas; J. Diaz; J.M. Steyaert

• Book ID: 113163374
• Publisher: Elsevier Science
• Year: 1989
• Tongue: English
• Weight: 614 KB
• Volume: 31
• Category: Article
• ISSN: 0020-0190
• DOI: 10.1016/0020-0190(89)90078-1