An on-line problem database [chapter]

Nachum Dershowitz, Ralf Treinen
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
more » ... and logic programming languages We continue to solicit electronic contributions of new problems, progress reports, solutions, and comments. These should be mailed electronically to
doi:10.1007/bfb0052380 fatcat:x57lyotlxrh5bdan42az6tileq