FUZZY
13 years 10 months ago
1994 Springer TAGT
13 years 10 months ago
1994 Springer EURODAC
13 years 10 months ago
1994 IEEE LCC
13 years 10 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...
CADE
13 years 10 months ago
1994 Springer |