Livesey, M., Siekmann, J. (1976). Unification of bags and sets. Technical Report 3-76, Universitat Karlsruhe. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
A New Method for Undecidability Proofs of First Order Theories - Treinen (1992) (21 citations) (Correct)
.... problem for the theory of ground term algebras modulo the axioms of associativity and commutativity (AC for short) and has been given as an open problem in Comon (1988) In this paper the existential fragment has been shown decidable thus extending the results for AC unification (Stickel (1981) Livesey Siekmann (1976), Fages (1987) and Kirchner (1985) for arbitrary additional free function symbols) This example shows that equational problems may be undecidable even in case that unification with free function A New Method for Undecidability Proofs of First Order Theories 3 symbols is decidable. The extension ....
Livesey, M., Siekmann, J. (1976). Unification of bags and sets. Technical Report 3-76, Universitat Karlsruhe.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC