Timeline for Infinitary Counting Logics: 1-sorted vs. 2-sorted framework
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 5, 2014 at 14:40 | vote | accept | Joachim | ||
| Jul 5, 2014 at 14:40 | answer | added | Joachim | timeline score: 0 | |
| Jun 2, 2014 at 21:42 | history | tweeted | twitter.com/#!/StackCSTheory/status/473580562733465600 | ||
| Jun 2, 2014 at 20:52 | history | edited | Joachim | CC BY-SA 3.0 |
Additional Link
|
| Jun 2, 2014 at 19:46 | history | edited | Kaveh |
edited tags
|
|
| S Jun 2, 2014 at 18:48 | history | suggested | David Richerby | CC BY-SA 3.0 |
rm unnecessary mathjax from title for faster rendering of front page. Corrected multiple different mis-spellings of Leonid Libkin's name.
|
| Jun 2, 2014 at 18:28 | review | Suggested edits | |||
| S Jun 2, 2014 at 18:48 | |||||
| Jun 2, 2014 at 17:05 | history | asked | Joachim | CC BY-SA 3.0 |