-
1
-
-
0022738654
-
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
-
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
-
3
-
-
0000029077
-
Rewrite systems
-
J. van Leeuwen, ed., Ch. 6 North-Holland, Amsterdam
-
N. Dershowitz and J.-P. Jouannaud, Rewrite systems, in: J. van Leeuwen, ed., Formal Models and Semantics, Handbook of Theoretical Computer Science, Vol. B: Formal Methods and Semantics, Ch. 6 (North-Holland, Amsterdam, 1990) 243-320.
-
(1990)
Formal Models and Semantics, Handbook of Theoretical Computer Science, Vol. B: Formal Methods and Semantics
, pp. 243-320
-
-
Dershowitz, N.1
Jouannaud, J.-P.2
-
4
-
-
85034823126
-
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
-
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
-
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
-
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
-
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
15
-
-
0028201195
-
Modularity of confluence: A simplified proof
-
J.W. Klop, A. Middeldorp, Y. Toyama and R. de Vrijer, Modularity of confluence: A simplified proof, Inform. Process. Lett. 49 (2) (1994) 101-109.
-
(1994)
Inform. Process. Lett.
, vol.49
, Issue.2
, pp. 101-109
-
-
Klop, J.W.1
Middeldorp, A.2
Toyama, Y.3
De Vrijer, R.4
-
16
-
-
0345744473
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
-
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
-
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
-
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
-
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
|