RTA open problems: Submission of comments

Please send your comments by email to send your submission by email to Ralf Treinen, with subject RTA List of Open Problems. In your mail please give

  1. the number of the problem that you refer to,
  2. your comment in LaTeX,
  3. BibTeX entries for reference you used in your comment,
  4. 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