The RTA List of Open Problems
Nachum Dershowitz, Ralf Treinen · 2010
The RTA list of open problems summarizes open problems in the field of the International Conference on Rewriting Techniques and Applications (RTA). For the RTA 2002 conference, the topics of RTA were given as • Applications: case studies; rule-based programming; symbolic and algebraic computation; theorem proving; functional and logic programming; proof checking. • Foundations: matching and unification; completion techniques; strategies; constraint solving; explicit substitutions.