𝔖 Bobbio Scriptorium

✦ LIBER ✦

The unification problem for confluent right-ground term rewriting systems

✍ Scribed by Michio Oyamaguchi; Yoshikatsu Ohta

Book ID: 114273347
Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 275 KB
Volume: 183
Category: Article
ISSN: 0890-5401
DOI: 10.1016/s0890-5401(03)00022-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Nonlinear boundary-value problems for se

Nonlinear boundary-value problems for second-order systems with one-sided bounds on the growth of the right-hand side in terms of the first derivatives

✍ M. N. Yakovlev 📂 Article 📅 1989 🏛 Springer US 🌐 English ⚖ 758 KB