FUZZY
13 years 9 months ago
1994 Springer EURODAC
13 years 9 months ago
1994 IEEE TAGT
13 years 9 months ago
1994 Springer CADE
13 years 9 months ago
1994 Springer LCC
13 years 9 months ago
1994
The descriptive complexity of a problem is the complexity of describing the problem in some logical formalism. One of the few techniques for proving separation results in descripti...
|