A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf
.
An on-line problem database
[chapter]
1998
Lecture Notes in Computer Science
The RTA list seeks to summarize open problems and subsequent solutions in elds of interest to this conference. For the current proceedings, the main subjects were Term rewriting systems Symbolic and algebraic computation Uni cation and matching Completion techniques String and graph rewriting Conditional and typed rewriting Rewriting-based theorem proving Parallel rewriting and deduction Constrained rewriting and deduction Constraint s o l v i n g Higher-order rewriting Lambda calculi
doi:10.1007/bfb0052380
fatcat:x57lyotlxrh5bdan42az6tileq