RTA open problems: Submission of new problems

New problems are most welcome. Please send your submission by email to Ralf Treinen, with subject RTA List of Open Problems. In your mail please give

  1. a short description in LaTeX of the problem
  2. BibTeX entries for the used references
  3. a reference where the problem has first been stated, if appropriate
  4. a one-line summary
  5. the url of your home page if you are not on Aart Middeldorp’s address list of researchers in rewriting.


[Back to the RTALooP home page]
Nachum Dershowitz and Ralf Treinen