Efficient parallel term matching and anti-unification

✍ Scribed by Arthur L. Delcher; Simon Kasif

• Publisher: Springer Netherlands
• Year: 1992
• Tongue: English
• Weight: 861 KB
• Volume: 9
• Category: Article
• ISSN: 0168-7433
• DOI: 10.1007/bf00245298