๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Deciding the Word Problem in the Union of Equational Theories

โœ Scribed by Franz Baader; Cesare Tinelli


Book ID
112252685
Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
368 KB
Volume
178
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Unification in the Union of Disjoint Equ
โœ FRANZ BAADER; KLAUS U. SCHULZ ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 756 KB

Most of the work on the combination of unification algorithms for the union of disjoint equational theories has been restricted to algorithms that compute finite complete sets of unifiers. Thus the developed combination methods usually cannot be used to combine decision procedures, i.e., algorithms