Nachum Dershowitz and Jean-Pierre Jouannaud. Rewrite systems. In van Leeuwen [70], chapter 6, pages 243--320. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Type Theory and Rewriting - BLANQUI (2001) (1 citation) Self-citation (Jouannaud) (Correct)
No context found.
N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 6. NorthHolland, 1990.
Operation Refinement for VDM-like - Specifications Bettina Buth (Correct)
No context found.
Nachum Dershowitz and Jean-Pierre Jouannaud. Rewrite systems. In van Leeuwen [70], chapter 6, pages 243--320.
Unknown - An Way (Correct)
No context found.
Dershowitz, N. and J.-P. Jouannaud, Rewrite systems, in: Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics (B), Elsevier, 1990 pp. 243-320.
On a generalized theorem for a normalization of proof trees - Aiguier, Boin, Cerrito (2005) (1 citation) (Correct)
No context found.
N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of TCS, volume B: Formal Models and Semantics, pages 243-320. Elsevier, 1990.
On Generalized Theorems for . . . - Aiguier, Boin, Longuet (Correct)
No context found.
N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of TCS, volume B: Formal Models and Semantics, pages 243--320. Elsevier, 1990.
Inductive Synthesis of Functional Programs: An Explanation.. - Kitzelmann, Schmid (2006) (Correct)
No context found.
N. Dershowitz and J.-P. Jouanaud. Rewrite systems. In J. Leeuwen, editor, Handbook of Theoretical Computer Science, volume B. Elsevier, 1990.
Monadic Simultaneous Rigid - Unification Related Problems (Correct)
No context found.
N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. Van Leeuwen, editor, Handbook of Theoretical Computer Science,volume B: Formal Methods and Semantics, chapter 6, pages 243--309. North Holland, Amsterdam, 1990.
Query Rewriting with Symmetric - Constraints Christoph Koch (Correct)
No context found.
N. Dershowitz and J.-P. Jouannaud. "Rewrite Systems ". In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume 2, chapter 6, pages 243--320. Elsevier Science Publishers B.V., 1990.
On the Unification Problem for Cartesian Closed Categories - Exte Nd Ed (Correct)
No context found.
N. Dershowitz and Jean-Pierre Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, pages 243--320. Elsevier, Amsterdam, 1990.
Skeletons and the Anatomy of Monads - Chuan-Kai Lin Department (Correct)
No context found.
Nachum Dershowitz and Jean-Pierre Jouannaud. Rewrite systems. In Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, chapter 6, pages 243--320. MIT Press, December 1990.
Learnability of Term Rewrite Systems from Positive Examples - Rao (2006) (Correct)
No context found.
N. Dershowitz and J.-P. Jouannaud (1990), Rewrite Systems, In J. van Leeuwen (ed.), Handbook of Theoretical Computer Science, Vol. B, pp. 243-320, North-Holland.
Ensuring Termination by Typability - Deng, Sangiorgi (Correct)
No context found.
N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, chapter 6, pages 243--320. North-Holland, Amsterdam, 1990.
Definitions by Rewriting in the Calculus of Constructions - Blanqui (2001) (2 citations) (Correct)
No context found.
N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 6. NorthHolland, 1990.
A Type-Based Termination Criterion for Dependently-Typed.. - Blanqui (2004) (2 citations) (Correct)
No context found.
N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, vol. B, chap. 6. North-Holland, 1990.
Inductive Types in the Calculus of Algebraic Constructions - Blanqui (2003) (Correct)
No context found.
N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 6. North-Holland, 1990.
Decidability of Type-checking in the Calculus of Algebraic.. - Blanqui (2005) (Correct)
No context found.
N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, vol B, ch 6. North-Holland, 1990.
Rewriting modulo in Deduction modulo - Blanqui (2003) (1 citation) (Correct)
No context found.
N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, vol. B, chap. 6. North-Holland, 1990.
Decidability of Type-checking in the Calculus of Algebraic.. - Blanqui (2005) (Correct)
No context found.
N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 6. North-Holland, 1990.
On the Confluence of λ-Calculus with Conditional.. - Blanqui, Kirchner, Riba (Correct)
No context found.
Nachum Dershowitz and Jean-Pierre Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), pages 243--320. North-Holland, 1990.
Inductive Types in the Calculus of Algebraic Constructions - Blanqui (2005) (Correct)
No context found.
Dershowitz, N., Jouannaud, J.-P.: Rewrite Systems, in: Handbook of Theoretical Computer Science (J. van Leeuwen, Ed.), vol. B, chapter 6, North-Holland, 1990.
Definitions by rewriting in the Calculus of Constructions - Blanqui (2003) (2 citations) (Correct)
No context found.
N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 6. North-Holland, 1990.
A Type-Based Termination Criterion for Dependently-Typed.. - Blanqui (2004) (2 citations) (Correct)
No context found.
N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 6. North-Holland, 1990.
First-Order Term Compression: Techniques and Applications - Cheney (1998) (Correct)
No context found.
N. Dershowitz and J. P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science (Vol. B: Formal Models and Semantics), Amsterdam, 1990. North-Holland. To appear.
Ensuring Termination by Typability - Deng, Sangiorgi (Correct)
No context found.
N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, chapter 6, pages 243--320. North-Holland, Amsterdam, 1990.
On The Subject Reduction Property For Algebraic Type Systems - Barthe, Mellies (1997) (4 citations) (Correct)
No context found.
N. Dershowitz and J-P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Formal models and semantics. Handbook of Theoretical Computer Science, volume B, pages 243--320. Elsevier, 1990.
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