Recent Changes to the RTA List of Open Problems

Only significant changes and additions are listed here.

2010

August 26    Marked Problem 66 as solved.
August 25    Added Problem 107.
July 26    Added Problem 106.
April 15    Marked Problem 105 as solved (signaled by Johannes Waldmann)

2009

June 1    Marked Problem 23 as solved.

2007

October 18    Updated status of Problem 94.
January 25    New Problem 105.

2006

October 16    Marked Problem 94 as solved.
February 24    The second question of Problem 101 is solved.

2005

November 23    Added comment by Kristian Støvring to Problem 5.
November 3    Marked Problem 104 as solved.
July 20    Marked Problem 99 as solved.
July 18    New Problem 104.
February 21    Marked Problem 33 as solved.
February 17    Marked Problem 47 as solved.
     Clarified statement of Problem 29 (finest versus coarsest relation).
February 16    Added link on the main page to the Open. Closed. Open. paper.
     Linked to this paper in Problem 13, Problem 20, Problem 21, Problem 87, Problem 95.
February 14    Marked Problem 18 as solved.
February 4    Comments by Bruno Courcelle on Problem 70, Problem 71, Problem 72, Problem 73.
     New Problem 102 and Problem 103.
February 3    Problem 20 is solved.

2004

October 14    Marked Problem 81 as solved.
October 11    Added Problem 101.
October 1    Marked Problem 22 as solved.
September 8    Marked Problem 11 as solved.
June 12    Marked Problem 63 as solved. Reference to the journal article.
June 11    Added remark about papers by D. Walukiewicz and F. Blanqui in Problem 50.
February 3    Added reference to Lepper’s PhD thesis in Problem 81.
February 2    Added reference to I&C article in Problem 3.

2003

June 20    Added reference to Geser’s paper at RTA’03 to Problem 21.
May 28    Added comment by R. M. Verma to Problem 63.

2002

October 17    Added Problem 100.
October 10    Added to Problem 92: Reference to Plandowski’s paper at FOCS’99.
October 9    Added Problem 99.
October 9    Addition to Problem 90: Reference to Levy/Villaret paper at RTA 2002.
October 3    Marked Problem 60 as solved, added reference to Aoto’s paper in JFLP.
October 3    Added reference to Tiwari’s paper at LICS’02 to Problem 12.
September 16    Corrected the originator of Problem 97, as indicated by Johannes Waldmann.
Mai 6    Added solution to Problem 12
April 31    Added comment by Kai Scheffermann to Problem 11.

2001

October 16    Added results by Yamada et. al. to Problem 16.

2000

December 20    Added comment by Hansjörg Lehner to Problem 82.
November 27    Added comment by Jean Goubault-Larrecq to Problem 88.
August 28    Added Problem 98.
July 20    Additions to Problem 90: papers of Schmidt-Schaußand Schulz (CADE’99) and Levy and Villaret (RTA’00).
July 17    Updated Problem 94: papers of Schubert, Vorobyov, Wierzbicki.
July 17    Added Problem 96 and Problem 97.
July 4    Added comment by Ingo Lepper to Problem 81.

1999

August 2    Added reference to Problem 95 sent by H. Zantema.
July 16    Solution to Problem 25.
July 16    Added Problem 93, Problem 94, and Problem 95.
March 5    Added comment submitted by Vincent van Oostrom to Problem 26.
February 18    Solutions to Problem 34 and Problem 85.

1998

September 14    Added Problem 92.
May 5    Added comment submitted by Hans Zantema to Problem 60.
April 30    Added Problem 91.
April 27    Added Problem 90.
April 27    Added remark on Okui’s paper at RTA’98 to Problem 13.
April 27    Added comment submitted by Miki Hermann to Problem 43.
April 23    Added comment submitted by Jordi Levy to Problem 32.
April 23    Added remark on the paper of Comon et. al. at LICS 98 to Problem 64.


[Back to the RTALooP home page]
Nachum Dershowitz