𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An upper bound on the derivational complexity of Knuth–Bendix orderings

✍ Scribed by Dieter Hofbauer


Book ID
114273334
Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
177 KB
Volume
183
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES