[Home]History of Presburger arithmetic/Talk

HomePage | Recent Changes | Preferences

Revision 2 . . November 8, 2001 4:21 am by AxelBoldt
Revision 1 . . November 8, 2001 3:26 am by Taw [more than polynomial or more than exponential]
  

Difference (from prior major revision) (no other diffs)

Added: 3a4,6

Both. But "polynomial time" P is a pretty important class of problems, and this is one of the few problems
that can be shown not to be in there, so that's why I explicitly mentioned polynomial time. --AxelBoldt

HomePage | Recent Changes | Preferences
Search: