R. Bert, R. Echahed, and B.M. stvold. Abstract Rewriting. In Proc. Third Int'l Workshop on Static Analysis WSA'93, volume 724 of Lecture Notes in Computer Science, pages 178--192. Springer-Verlag, Berlin, 1993. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
A Debugging Scheme for Functional Logic Programs - Alpuente, Correa, Falaschi (2002) (1 citation) (Correct)
A Debugging Scheme for Functional Logic Programs - Alpuente (2002) (1 citation) (Correct)
A Debugging Scheme for Functional Logic Programs - Alpuente, Correa, Falaschi (2001) (1 citation) (Correct)
An Evaluation Semantics for Narrowing-Based Functional Logic.. - Hanus, Salvador (2001) (Correct)
Declarative Debugging of Functional Logic Programs - Alpuente, Correa, Falaschi (2001) (Correct)
Declarative Debugging of Functional Logic Programs - Alpuente, Correa, Falaschi (2001) (Correct)
An Evaluation Semantics for Narrowing-Based Functional Logic.. - Hanus, Lucas (2000) (Correct)
Directed Narrowing: An Optimization That More Often Terminates - Limet, Réty (1995) (Correct)
Lazy Rewriting on Eager Machinery - Kamperman, Walters (1995) (Correct)
Compositional Analysis for Equational Horn Programs - Alpuente, al. (1994) (1 citation) (Correct)
Compositional Analysis for - Programs (Correct)
Abstraction of Conditional Term Rewriting Systems - Bert, Echahed (1995) (1 citation) Self-citation (Bert Echahed) (Correct)
On the Operational Semantics of the Algebraic and Logic.. - Bert, Echahed (1995) (7 citations) Self-citation (Bert Echahed) (Correct)
Integrating Disequations in the Algebraic and Logic.. - Bert, Echahed (1994) (1 citation) Self-citation (Bert Echahed) (Correct)
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