Timeline for Correspondence between complexity classes and logic
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 17, 2010 at 6:09 | vote | accept | ripper234 | ||
| Aug 17, 2010 at 1:13 | comment | added | András Salamon | I think the scope of FMT is slightly broader than just linking logic and computational complexity. Descriptive complexity seems a more precise term. | |
| Aug 16, 2010 at 20:31 | history | answered | Suresh Venkat | CC BY-SA 2.5 |