Nachum Dershowitz, Jean-Pierre Jouannaud, Jan Willem Klop  Home/Search
Context Related
| math.tau.ac.il/~nachum...open3open.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: math.tau.ac.il/~nachumd/pub (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We presented lists of open problems in the theory of rewriting in the proceedings of the previous two conferences [36, 37]. We continue with that tradition this year. We give references to solutions to eleven problems from the previous lists, report on progress on several others, provide a few reformulations of old problems, and include ten new problems. (Update)
Similar documents based on text: More All
0.5: More Problems in Rewriting - Dershowitz, Jouannaud, Klop (1993) (Correct)
0.4: Open Problems in Rewriting - Dershowitz, Jouannaud, Klop (1991) (Correct)
0.4: Problems in Rewriting III - Dershowitz, Jouannaud, Klop (1995) (Correct)
BibTeX entry: (Update)
N. Dershowitz, J.-P. Jouannaud, and J. W. Klop. Problems in rewriting iii. In Proc. the 6th RTA, pages 457--471, 1995. A whole list on WWW at http://www.lri.fr/~rtaloop/index.html. http://citeseer.ist.psu.edu/dershowitz95problems.html More
@inproceedings{ dershowitz95problems,
author = "Nachum Dershowitz and Jean-Pierre Jouannaud and Jan Willem Klop",
title = "Problems in Rewriting {III}",
booktitle = "Proceedings of the Sixth International Conference on Rewriting Techniques and Applications (Kaiserslautern, Germany)",
month = "April",
publisher = "Springer-Verlag",
address = "Berlin",
editor = "J. Hsiang",
pages = "457--471",
year = "1995",
url = "citeseer.ist.psu.edu/dershowitz95problems.html" }
Citations (may not include all citations):788 Rewrite systems - Dershowitz, Jouannaud - 1990
382 Lambda calculi with types - Barendregt - 1991
251 A logic programming language with lambda-abstraction - Miller - 1991
126 Higher-order critical pairs (context) - Nipkow - 1991
125 Solving equations in abstract algebras: A rulebased survey o.. (context) - Jouannaud, Kirchner - 1991
111 Solving systems of set constraints (context) - Aiken, Wimmers - 1992
102 Computations in orthogonal rewriting systems (context) - Huet, evy - 1991
102 Computations in orthogonal rewriting systems (context) - Huet, evy - 1991
89 Termination of term rewriting: interpretation and type elimi.. - Zantema - 1994
82 A decision procedure for a class of set constraints - Heintze, Ja - 1990
76 Set constraints are the monadic class - Bachmair, Ganzinger et al. - 1993
65 the uniform halting problem for term rewriting systems (context) - Huet, Lankford - 1978
52 Decidability of systems of set constraints with negative con.. - Aiken, Kozen et al. - 1993
50 Automated reasoning: 33 basic research problems (context) - Wos
50 Solving systems of set constraints with negated subset relat.. (context) - Gilleron, Tison et al. - 1993
[Article contains additional citations not shown here]
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.math.tau.ac.il/~nachumd/pub.html): More
Calendrical Calculations, II: Three Historical Calendars - Reingold, DERSHOWITZ (1993) (Correct)
Trees and Paths - Dershowitz, Zaks (1998) (Correct)
Automatic Termination Analysis of Programs.. - Dershowitz.. (1999) (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