Jerzy Marcinkowski. Undecidability of the rst order theory of one-step right ground rewriting. In Comon [Com97], pages 241-253. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
On Rewrite Constraints and Context Unification - Niehren, Tison (2000) (1 citation) (Correct)
....project was to show decidability of the rst order theory of these constraints since such a result would have allowed to generalize known decidability results in rewrite theory. However, undecidability of the 8 9 fragment could be shown even for very simple classes of rewrite systems [19,20,10,18]. The question of decidability of the purely existential fragment of positive and negative rewrite constraints remains open, even though some cases for restricted classes of rewrite systems are solved [2,8] It has been shown in [12] that satis ability of RC can be expressed as satis ability of ....
J. Marcinkowski. Undecidability of the rst order theory of one-step right ground rewriting. In 8th Int. Conference on Rewriting Techniques and Applications, volume 1232 of LNCS, pages 241-253, 1997.
On Rewrite Constraints and Context Unification - Niehren, Tison, Treinen (1999) (1 citation) (Correct)
....project was to show decidability of the rst order theory of these constraints since such a result would have allowed to generalize known decidability results in rewrite theory. However, undecidability of the 8 9 fragment could be shown even for very simple classes of rewrite systems [19,20,10,18]. The question of decidability of the purely existential fragment of positive and negative rewrite constraints remains open, even though some cases for restricted classes of rewrite systems are solved [2,8] It has been shown in [12] that satis ability of RC can be expressed as satis ability of ....
J. Marcinkowski. Undecidability of the rst order theory of one-step right ground rewriting. In 8th Int. Conference on Rewriting Techniques and Applications, volume 1232 of LNCS, pages 241-253, 1997.
The complete list of RTA open problems - Date April Summary (Correct)
No context found.
Jerzy Marcinkowski. Undecidability of the rst order theory of one-step right ground rewriting. In Comon [Com97], pages 241-253.
The Undecidability of the First-Order Theories of One Step.. - Vorobyov (2002) (1 citation) (Correct)
No context found.
J. Marcinkowski. Undecidability of the rst-order theory of one step right ground rewriting. In Rewriting Techniques and Applications'97, Lect. Notes Comput. Sci. Springer-Verlag, 1997.
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