Nominal unification

✍ Scribed by Christian Urban; Andrew M. Pitts; Murdoch J. Gabbay

• Book ID: 108280969
• Publisher: Elsevier Science
• Year: 2004
• Tongue: English
• Weight: 331 KB
• Volume: 323
• Category: Article
• ISSN: 0304-3975
• DOI: 10.1016/j.tcs.2004.06.016