메뉴 건너뛰기




Volumn 165, Issue 1, 1996, Pages 97-131

On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; NUMERICAL ANALYSIS; THEOREM PROVING;

EID: 0030244718     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/0304-3975(96)00042-4     Document Type: Article
Times cited : (15)

References (37)
  • 1
    • 0022738654 scopus 로고
    • Conditional rewrite rules: Confluence and termination
    • J.A. Bergstra and J.W. Klop, Conditional rewrite rules: confluence and termination, J. Comput. System Sci. 32 (1986) 323-362.
    • (1986) J. Comput. System Sci. , vol.32 , pp. 323-362
    • Bergstra, J.A.1    Klop, J.W.2
  • 2
    • 84957891736 scopus 로고
    • Hierarchical termination
    • N. Dershowitz and N. Lindenstrauss, eds., Proc. 4th Internat. Workshop on Conditional and Typed Rewriting Systems (CTRS'1994), Jerusalem, Israel, Springer, Berlin
    • N. Dershowitz, Hierarchical termination, in: N. Dershowitz and N. Lindenstrauss, eds., Proc. 4th Internat. Workshop on Conditional and Typed Rewriting Systems (CTRS'1994), Jerusalem, Israel, Lecture Notes in Computer Science, Vol. 968 (Springer, Berlin, 1995) 89-105
    • (1995) Lecture Notes in Computer Science , vol.968 , pp. 89-105
    • Dershowitz, N.1
  • 4
    • 85034823126 scopus 로고
    • Confluence of conditional rewrite systems
    • S. Kaplan and J.-P. Jouannaud, eds., Proc. 1st Internat. Workshop on Conditional Term Rewriting Systems (CTRS'87), Springer, Berlin
    • N. Dershowitz, M. Okada and G. Sivakumar. Confluence of conditional rewrite systems, in: S. Kaplan and J.-P. Jouannaud, eds., Proc. 1st Internat. Workshop on Conditional Term Rewriting Systems (CTRS'87), Lecture Notes in Computer Science, Vol. 308 (Springer, Berlin, 1988) 31-44.
    • (1988) Lecture Notes in Computer Science , vol.308 , pp. 31-44
    • Dershowitz, N.1    Okada, M.2    Sivakumar, G.3
  • 5
    • 0002301237 scopus 로고
    • Canonical conditional rewrite systems
    • E. Lusk and R. Overbeek, eds., Proc. 9th Internat. Conf. on Automated Deduction (CADE'88), Springer, Berlin
    • N. Dershowitz, M. Okada and G. Sivakumar, Canonical conditional rewrite systems, in: E. Lusk and R. Overbeek, eds., Proc. 9th Internat. Conf. on Automated Deduction (CADE'88), Lecture Notes in Computer Science, Vol. 310 (Springer, Berlin, 1988) 538-549.
    • (1988) Lecture Notes in Computer Science , vol.310 , pp. 538-549
    • Dershowitz, N.1    Okada, M.2    Sivakumar, G.3
  • 6
    • 84947939145 scopus 로고
    • Modular termination of term rewriting systems revisited
    • E. Astesiano and G. Reggio and A. Tarlecki, eds., Proc. 10th Workshop on Specification of Abstract Data Types (ADT'94), Santa Margherita de Ligura, Italy, Springer, Berlin
    • M. Fernández and J.-P. Jouannaud, Modular termination of term rewriting systems revisited, in: E. Astesiano and G. Reggio and A. Tarlecki, eds., Proc. 10th Workshop on Specification of Abstract Data Types (ADT'94), Santa Margherita de Ligura, Italy, Lecture Notes in Computer Science, Vol. 906 (Springer, Berlin, 1995) 255-272.
    • (1995) Lecture Notes in Computer Science , vol.906 , pp. 255-272
    • Fernández, M.1    Jouannaud, J.-P.2
  • 7
    • 85028800472 scopus 로고
    • Generalized sufficient conditions for modular termination of rewriting
    • H. Kirchner and G. Levi, eds., Proc. 3rd Internat. Conf. on Algebraic and Logic Programming (ALP'92), Volterra, Italy, Springer, Berlin
    • B. Gramlich, Generalized sufficient conditions for modular termination of rewriting, in: H. Kirchner and G. Levi, eds., Proc. 3rd Internat. Conf. on Algebraic and Logic Programming (ALP'92), Volterra, Italy, Lecture Notes in Computer Science, Vol. 632 (Springer, Berlin, 1992) 53-68, revised and extended version in: Appl. Algebra Engng. Commun. Comput. 5 (1994) 131-158.
    • (1992) Lecture Notes in Computer Science , vol.632 , pp. 53-68
    • Gramlich, B.1
  • 8
    • 0000619678 scopus 로고
    • revised and extended version
    • B. Gramlich, Generalized sufficient conditions for modular termination of rewriting, in: H. Kirchner and G. Levi, eds., Proc. 3rd Internat. Conf. on Algebraic and Logic Programming (ALP'92), Volterra, Italy, Lecture Notes in Computer Science, Vol. 632 (Springer, Berlin, 1992) 53-68, revised and extended version in: Appl. Algebra Engng. Commun. Comput. 5 (1994) 131-158.
    • (1994) Appl. Algebra Engng. Commun. Comput. , vol.5 , pp. 131-158
  • 9
    • 85029774291 scopus 로고
    • Relating innermost, weak, uniform and modular termination of term rewriting systems
    • A. Voronkov, ed., Proc. Internat. Conf. on Logic Programming and Automated Reasoning (LPAR'92), St. Petersburg, Russia, Springer, Berlin, (see also SEKI-Report SR-93-09, FB Informatik, Universität Kaiserslautern)
    • B. Gramlich, Relating innermost, weak, uniform and modular termination of term rewriting systems, in: A. Voronkov, ed., Proc. Internat. Conf. on Logic Programming and Automated Reasoning (LPAR'92), St. Petersburg, Russia, Lecture Notes in Artificial Intelligence, Vol. 624 (Springer, Berlin, 1992) 285-296 (see also SEKI-Report SR-93-09, FB Informatik, Universität Kaiserslautern); revised version "Abstract relations between restricted termination and confluence properties of rewrite systems" in: Fundam. Inform. 24 (1995) 3-23.
    • (1992) Lecture Notes in Artificial Intelligence , vol.624 , pp. 285-296
    • Gramlich, B.1
  • 10
    • 0029368735 scopus 로고
    • Abstract relations between restricted termination and confluence properties of rewrite systems
    • revised version
    • B. Gramlich, Relating innermost, weak, uniform and modular termination of term rewriting systems, in: A. Voronkov, ed., Proc. Internat. Conf. on Logic Programming and Automated Reasoning (LPAR'92), St. Petersburg, Russia, Lecture Notes in Artificial Intelligence, Vol. 624 (Springer, Berlin, 1992) 285-296 (see also SEKI-Report SR-93-09, FB Informatik, Universität Kaiserslautern); revised version "Abstract relations between restricted termination and confluence properties of rewrite systems" in: Fundam. Inform. 24 (1995) 3-23.
    • (1995) Fundam. Inform. , vol.24 , pp. 3-23
  • 11
    • 0346375587 scopus 로고
    • Sufficient conditions for modular termination of conditional term rewriting systems
    • M. Rusinowitch and J.-L. Rémy, eds., Proc. 3rd Internat. Workshop on Conditional Term Rewriting Systems (CTRS'92), Pont-à-Mousson, France, Springer, Berlin
    • B. Gramlich, Sufficient conditions for modular termination of conditional term rewriting systems, in: M. Rusinowitch and J.-L. Rémy, eds., Proc. 3rd Internat. Workshop on Conditional Term Rewriting Systems (CTRS'92), Pont-à-Mousson, France, Lecture Notes in Computer Science, Vol. 656 (Springer, Berlin, 1993) 228-142.
    • (1993) Lecture Notes in Computer Science , vol.656 , pp. 228-1142
    • Gramlich, B.1
  • 12
    • 84957885521 scopus 로고
    • On termination and confluence of conditional rewrite systems
    • N. Dershowitz and N. Lindenstrauss, eds., Proc. 4th Internat. Workshop on Conditional and Typed Rewriting Systems (CTRS'94), Jerusalem, Israel, Springer, Berlin
    • B. Gramlich, On termination and confluence of conditional rewrite systems, in: N. Dershowitz and N. Lindenstrauss, eds., Proc. 4th Internat. Workshop on Conditional and Typed Rewriting Systems (CTRS'94), Jerusalem, Israel, Lecture Notes in Computer Science, Vol. 968 (Springer, Berlin, 1995) 166-185.
    • (1995) Lecture Notes in Computer Science , vol.968 , pp. 166-185
    • Gramlich, B.1
  • 13
    • 0021502631 scopus 로고
    • Conditional rewrite rules
    • S. Kaplan, Conditional rewrite rules, Theoret. Comput. Sci. 33 (1984) 175-193.
    • (1984) Theoret. Comput. Sci. , vol.33 , pp. 175-193
    • Kaplan, S.1
  • 14
    • 0001834942 scopus 로고
    • Term rewriting systems
    • S. Abramsky, D.M. Gabbay and T.S.E. Maibaum, eds., Ch. 1 Oxford University Press, Oxford
    • J.W. Klop, Term rewriting systems, in S. Abramsky, D.M. Gabbay and T.S.E. Maibaum, eds., Handbook of Logic in Computer Science, Vol. 2, Ch. 1 (Oxford University Press, Oxford, 1992) 1-117.
    • (1992) Handbook of Logic in Computer Science , vol.2 , pp. 1-117
    • Klop, J.W.1
  • 16
    • 0345744473 scopus 로고
    • Modularity of simple termination of term rewriting systems
    • M. Kurihara and A. Ohuchi, Modularity of simple termination of term rewriting systems, J. Inform. Process. Soc. Japan 34 (1990) 632-642.
    • (1990) J. Inform. Process. Soc. Japan , vol.34 , pp. 632-642
    • Kurihara, M.1    Ohuchi, A.2
  • 17
    • 0026913059 scopus 로고
    • Modularity of simple termination of term rewriting systems with shared constructors
    • M. Kurihara and A. Ohuchi, Modularity of simple termination of term rewriting systems with shared constructors, Theoret. Comput. Sci. 103 (1992) 273-282.
    • (1992) Theoret. Comput. Sci. , vol.103 , pp. 273-282
    • Kurihara, M.1    Ohuchi, A.2
  • 18
    • 0029292548 scopus 로고
    • Termination of combination of composable term rewriting systems
    • M. Kurihara and A. Ohuchi, Termination of combination of composable term rewriting systems, IEICE Trans. Inform. Systems E78-D(4) (1995) 314-320.
    • (1995) IEICE Trans. Inform. Systems , vol.E78-D , Issue.4 , pp. 314-320
    • Kurihara, M.1    Ohuchi, A.2
  • 19
    • 37149042847 scopus 로고
    • Completeness of hierarchical combinations of term rewriting systems
    • R.K. Shyamasundar, ed., Proc. 13th Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'93), Springer, Berlin
    • M.R.K. Krishna Rao., Completeness of hierarchical combinations of term rewriting systems, in: R.K. Shyamasundar, ed., Proc. 13th Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'93), Lecture Notes in Computer Science, Vol. 761, (Springer, Berlin, 1993) 125-138.
    • (1993) Lecture Notes in Computer Science , vol.761 , pp. 125-138
    • Krishna Rao, M.R.K.1
  • 20
    • 4243928889 scopus 로고
    • Simple termination of hierarchical combinations of term rewriting systems
    • Proc. Internat. Symp. on Theoretical Aspects of Computer Software (TACS'94), Springer, Berlin
    • M.R.K. Krishna Rao, Simple termination of hierarchical combinations of term rewriting systems, in: Proc. Internat. Symp. on Theoretical Aspects of Computer Software (TACS'94), Lecture Notes in Computer Science, Vol. 789 (Springer, Berlin, 1994) 203-223.
    • (1994) Lecture Notes in Computer Science , vol.789 , pp. 203-223
    • Krishna Rao, M.R.K.1
  • 21
    • 0024873046 scopus 로고
    • A sufficient condition for the termination of the direct sum of term rewriting systems
    • IEEE, Pacific Grove
    • A. Middeldorp, A sufficient condition for the termination of the direct sum of term rewriting systems, in: Proc. 4th IEEE Symp. on Logic in Computer Science (IEEE, Pacific Grove, 1989) 396-401.
    • (1989) Proc. 4th IEEE Symp. on Logic in Computer Science , pp. 396-401
    • Middeldorp, A.1
  • 23
    • 21144465652 scopus 로고
    • Completeness of combinations of conditional constructor systems
    • M. Rusinowitch and J.-L. Rémy, eds., Proc. 3rd Internat. Workshop on Conditional Term Rewriting Systems (CTRS'92), Pont-à-Mousson, France, Springer, Berlin
    • A. Middeldorp, Completeness of combinations of conditional constructor systems, in: M. Rusinowitch and J.-L. Rémy, eds., Proc. 3rd Internat. Workshop on Conditional Term Rewriting Systems (CTRS'92), Pont-à-Mousson, France, Lecture Notes in Computer Science, Vol. 656 (Springer, Berlin, 1993) 82-96, revised version in J. Symbol. Comput. 17 (1994) 3-21.
    • (1993) Lecture Notes in Computer Science , vol.656 , pp. 82-96
    • Middeldorp, A.1
  • 24
    • 21144465652 scopus 로고
    • revised version
    • A. Middeldorp, Completeness of combinations of conditional constructor systems, in: M. Rusinowitch and J.-L. Rémy, eds., Proc. 3rd Internat. Workshop on Conditional Term Rewriting Systems (CTRS'92), Pont-à-Mousson, France, Lecture Notes in Computer Science, Vol. 656 (Springer, Berlin, 1993) 82-96, revised version in J. Symbol. Comput. 17 (1994) 3-21.
    • (1994) J. Symbol. Comput. , vol.17 , pp. 3-21
  • 25
    • 38249003752 scopus 로고
    • Modular properties of conditional term rewriting systems
    • A. Middeldorp, Modular properties of conditional term rewriting systems, Inform. Computat. 104 (1) (1993) 110-158.
    • (1993) Inform. Computat. , vol.104 , Issue.1 , pp. 110-158
    • Middeldorp, A.1
  • 26
    • 84976703700 scopus 로고
    • Completeness of combinations of constructor systems
    • R.V. Book, ed., Proc. 4th Internat. Conf. on Rewriting Techniques and Applications (RTA'91), Como, Italy, Springer, Berlin
    • A. Middeldorp and Y. Toyama, Completeness of combinations of constructor systems, in: R.V. Book, ed., Proc. 4th Internat. Conf. on Rewriting Techniques and Applications (RTA'91), Como, Italy, Lecture Notes in Computer Science, Vol. 488 (Springer, Berlin, 1991) 174-187; revised version in: J. Symbol. Comput. 15 (1994) 331-348.
    • (1991) Lecture Notes in Computer Science , vol.488 , pp. 174-187
    • Middeldorp, A.1    Toyama, Y.2
  • 27
    • 84976703700 scopus 로고
    • revised version
    • A. Middeldorp and Y. Toyama, Completeness of combinations of constructor systems, in: R.V. Book, ed., Proc. 4th Internat. Conf. on Rewriting Techniques and Applications (RTA'91), Como, Italy, Lecture Notes in Computer Science, Vol. 488 (Springer, Berlin, 1991) 174-187; revised version in: J. Symbol. Comput. 15 (1994) 331-348.
    • (1994) J. Symbol. Comput. , vol.15 , pp. 331-348
  • 28
    • 0003249838 scopus 로고
    • Computing in Systems Described by Equations
    • Springer, Berlin
    • M.J. O'Donnell, Computing in Systems Described by Equations, Lecture Notes in Computer Science, Vol. 58 (Springer, Berlin, 1977).
    • (1977) Lecture Notes in Computer Science , vol.58
    • O'Donnell, M.J.1
  • 29
    • 0028749648 scopus 로고
    • On the modularity of termination of term rewriting systems
    • E. Ohlebusch, On the modularity of termination of term rewriting systems, Theoret. Comput. Sci. 136 (1994) 333-360.
    • (1994) Theoret. Comput. Sci. , vol.136 , pp. 333-360
    • Ohlebusch, E.1
  • 30
    • 85011004809 scopus 로고
    • On the modularity of confluence of constructor-sharing term rewriting systems
    • S. Tison, ed., Proc. 19th Coll. on Trees in Algebra and Programming (CAAP'94), Springer, Berlin
    • E. Ohlebusch, On the modularity of confluence of constructor-sharing term rewriting systems, in: S. Tison, ed., Proc. 19th Coll. on Trees in Algebra and Programming (CAAP'94), Lecture Notes in Computer Science, Vol. 787 (Springer, Berlin, 1994) 261-275.
    • (1994) Lecture Notes in Computer Science , vol.787 , pp. 261-275
    • Ohlebusch, E.1
  • 32
    • 84957871118 scopus 로고
    • Modular properties of constructor-sharing conditional term rewriting systems
    • N. Dershowitz and N. Lindenstrauss, eds., Proc. 4th Internat. Workshop on Conditional and Typed Rewriting Systems (CTRS'94), Jerusalem, Israel, Springer, Berlin
    • E. Ohlebusch, Modular properties of constructor-sharing conditional term rewriting systems, in: N. Dershowitz and N. Lindenstrauss, eds., Proc. 4th Internat. Workshop on Conditional and Typed Rewriting Systems (CTRS'94), Jerusalem, Israel, Lecture Notes in Computer Science, Vol. 968 (Springer, Berlin, 1995) 296-315.
    • (1995) Lecture Notes in Computer Science , vol.968 , pp. 296-315
    • Ohlebusch, E.1
  • 33
    • 84976715839 scopus 로고
    • Tree-manipulating systems and Church-Rosser theorems
    • B.K. Rosen, Tree-manipulating systems and Church-Rosser theorems, J. ACM 20 (1973) 160-187.
    • (1973) J. ACM , vol.20 , pp. 160-187
    • Rosen, B.K.1
  • 34
    • 0023435204 scopus 로고
    • On termination of the direct sum of term rewriting systems
    • M. Rusinowitch, On termination of the direct sum of term rewriting systems, Inform. Process. Lett. 26 (1987) 65-70.
    • (1987) Inform. Process. Lett. , vol.26 , pp. 65-70
    • Rusinowitch, M.1
  • 35
    • 0023252439 scopus 로고
    • On the Church-Rosser property for the direct sum of term rewriting systems
    • Y. Toyama, On the Church-Rosser property for the direct sum of term rewriting systems, J. ACM 34 (1) (1987) 128-143.
    • (1987) J. ACM , vol.34 , Issue.1 , pp. 128-143
    • Toyama, Y.1
  • 36
    • 0023345304 scopus 로고
    • Counterexamples to termination for the direct sum of term rewriting systems
    • Y. Toyama, Counterexamples to termination for the direct sum of term rewriting systems, Inform. Process. Lett. 25 (1987) 141-143.
    • (1987) Inform. Process. Lett. , vol.25 , pp. 141-143
    • Toyama, Y.1
  • 37
    • 85027665834 scopus 로고
    • Termination for the direct sum of left-linear term rewriting systems
    • N. Dershowitz, ed., Proc. 3rd Internat. Conf. on Rewriting Techniques and Applications (RTA'89), Springer, Berlin
    • Y. Toyama, J.W. Klop and H.P. Barendregt, Termination for the direct sum of left-linear term rewriting systems, in: N. Dershowitz, ed., Proc. 3rd Internat. Conf. on Rewriting Techniques and Applications (RTA'89), Lecture Notes in Computer Science, Vol. 355 (Springer, Berlin, 1989) 477-491.
    • (1989) Lecture Notes in Computer Science , vol.355 , pp. 477-491
    • Toyama, Y.1    Klop, J.W.2    Barendregt, H.P.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.