J. W. Klop. Term rewriting systems. In Handbook of logic in computer science, Vol. 2, pages 1-116. Oxford Univ. Press, New York, 1992. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
A New Finite Difference Method For The - Helmholtz Equation Using (Correct)
No context found.
J. W. Klop. Term rewriting systems. In Handbook of logic in computer science, Vol. 2, pages 1-116. Oxford Univ. Press, New York, 1992.
A New Finite Difference Method For The - Helmholtz Equation Using (Correct)
No context found.
J. W. Klop. Term rewriting systems. In Handbook of logic in computer science, Vol. 2, pages 1-116. Oxford Univ. Press, New York, 1992.
A Parallel Programming Style - And Its Algebra (Correct)
No context found.
J.W. Klop. Term rewriting systems. Technical Report CS-R9073, CWI, 1990.
A Constraint-based Partial Evaluator for Functional - Logic Programs And (Correct)
No context found.
J. W. Klop. Term rewriting systems. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume 2, chapter 1, pages 1--117. Oxford University Press, Oxford, 1992.
Braids described as an orthogonal rewriting system.. - Faculteit Der Wiskunde (Correct)
No context found.
J.W. Klop: "Term Rewriting Systems" Handbook of Logic in Computer Science, Volume 2, in S. Abramsky, Dov M. Gabbay, T.S.E. Maibaum, editors, Oxford Science Publications, 1992.
Modularity of Completeness Revisited - Massimo Marchiori Department (1995) (8 citations) (Correct)
No context found.
J.W. Klop. Term rewriting systems. In S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum, editors, Handbook of Logic in Computer Science, volume 2, chapter 1, pages 1--116. Clarendon Press, Oxford, 1992.
On The Subject Reduction Property For Algebraic Type Systems - Barthe, Mellies (1997) (4 citations) (Correct)
No context found.
J.W. Klop. Term-rewriting systems. In Abramsky et al. [1], pages 1--116. Volume 2. 12
Bubbles in Modularity - Massimo Marchiori Department (Correct)
No context found.
J.W. Klop. Term rewriting systems. In S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum, editors, Handbook of Logic in Computer Science, volume 2, chapter 1, pages 1--116. Clarendon Press, Oxford, 1992.
Logic Programs as Term Rewriting Systems - Massimo Marchiori Department (1994) (10 citations) (Correct)
No context found.
J.W. Klop. Term rewriting systems. In S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum, editors, Handbook of Logic in Computer Science, volume 2, chapter 1, pp. 1--116. Clarendon Press, Oxford, 1992.
Double Categories: a modular model of multiplicative linear logic - Mellies (Correct)
No context found.
J.W. Klop. Term Rewriting Systems. In Handbook of Logic in Computer Science, volume I, editors S. Abramsky, D. Gabbay, and T. Maibaum, Oxford University Press, 1992.
A Compositional Semantic Basis for the Analysis of.. - Alpuente, Falaschi.. (1996) (2 citations) (Correct)
No context found.
J.W. Klop. Term rewriting systems. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, volume I, pages 1--112. Oxford University Press, 1992.
Compositional Analysis for - Programs (Correct)
No context found.
J.W. Klop. Term rewriting systems. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, volume I, pages 1--112. Oxford University Press, 1992.
A Compositional Semantics for - Conditional Term Rewriting (Correct)
No context found.
J.W. Klop. Term Rewriting Systems. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, volume I. Oxford University Press, 1991.
Two Semantic Embeddings of Z Schemas in Isabelle/HOL - Völker (2001) (Correct)
No context found.
J.W. Klop. Term rewriting systems. In S. Abramsky, D. Gabbay, and T.S.E. Maibaum, editors, Handbook of Logic in Computer Science, Vol 2, pages 1--116. Oxford University Press, 1992.
Call-by-Name Specialization of Functional Logic Programs - Alpuente, Falaschi.. (1996) (Correct)
No context found.
J.W. Klop. Term Rewriting Systems. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, volume I, pages 1--112. Oxford University Press, 1992.
Narrowing Approximations as an Optimization - For Equational Logic (Correct)
No context found.
J.W. Klop. Term rewriting systems. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, volume I. Oxford University Press, 1991.
Specialization of Lazy Functional Logic Programs - Alpuente, Falaschi, Julian.. (1997) (8 citations) (Correct)
No context found.
J.W. Klop. Term Rewriting Systems. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, volume I, pages 1--112. Oxford University Press, 1992.
Safe Folding/Unfolding with Conditional Narrowing - Alpuente, Falaschi, Moreno.. (1997) (2 citations) (Correct)
No context found.
J.W. Klop. Term Rewriting Systems. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, volume I, pages 1--112. Oxford University Press, 1992.
The Narrowing-Driven Approach to Functional Logic Program.. - Albert, Vidal (2002) (2 citations) (Correct)
No context found.
) Klop J., "Term Rewriting Systems," in Handbook of Logic in Computer Science (S. Abramsky, D. Gabbay, and T. Maibaum, eds.), volume I, Oxford University Press, pp. 1--112, 1992.
Extensional Theories and Rewriting - Rosu (2004) (Correct)
No context found.
J.W. Klop. Term rewriting systems. In Handbook of Logic in Computer Science, Volumes 1 (Background: Mathematical Structures) and 2 (Background: Computational Structures), volume 2. Clarendon, 1992.
Using Narrowing Approximations to Optimize - Equational Logic Programs (Correct)
No context found.
J.W. Klop. Term rewriting systems. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, volume I. Oxford University Press, 1991.
Narrowing-driven Specialization of Functional Logic Programs - Alpuente, Falaschi, Vidal (1996) (Correct)
No context found.
J.W. Klop. Term Rewriting Systems. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, volume I, pages 1--112. Oxford University Press, 1992.
On the Modularity of Confluence in Infinitary Term Rewriting - Simonsen (Correct)
No context found.
J.W. Klop. Term Rewriting Systems. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, volume 2, pages 1--116. Oxford University Press, 1992.
Call-by-Name Partial Evaluation of Functional Logic.. - Alpuente, Falaschi.. (1996) (Correct)
No context found.
J.W. Klop. Term Rewriting Systems. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, pages 1--112. Oxford University Press, 1992.
On Confluence and Residuals in Cauchy Convergent Transfinite.. - Simonsen (2004) (Correct)
No context found.
J.W. Klop. Term Rewriting Systems. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, volume 2, pages 1-116. Oxford University Press, 1992.
First 50 documents Next 50
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