| |
| 2002 | ||
|---|---|---|
| 8 | EE | Eric Rosen: Some aspects of model theory and finite structures. Bulletin of Symbolic Logic 8(3): 380-403 (2002) |
| 2000 | ||
| 7 | EE | Eric Rosen, Jerzy Tyszkiewicz: SO(forall-exist*) Sentences and Their Asymptotic Probabilities. Math. Log. Q. 46(4): 435-452 (2000) |
| 1999 | ||
| 6 | EE | Erich Grädel, Eric Rosen: Two-Variable Descriptions of Regularity. LICS 1999: 14-23 |
| 5 | Erich Grädel, Eric Rosen: On Preservation Theorems for Two-Variable Logic. Math. Log. Q. 45: 315-325 (1999) | |
| 1997 | ||
| 4 | EE | Erich Grädel, Martin Otto, Eric Rosen: Two-Variable Logic with Counting is Decidable. LICS 1997: 306-317 |
| 3 | Erich Grädel, Martin Otto, Eric Rosen: Undecidability Results on Two-Variable Logics. STACS 1997: 249-260 | |
| 2 | Eric Rosen: Modal Logic over Finite Structures. Journal of Logic, Language and Information 6(4): 427-439 (1997) | |
| 1994 | ||
| 1 | Eric Rosen, Scott Weinstein: Preservation Theorems in Finite Model Theory. LCC 1994: 480-502 | |
| 1 | Erich Grädel | [3] [4] [5] [6] |
| 2 | Martin Otto | [3] [4] |
| 3 | Jerzy Tyszkiewicz | [7] |
| 4 | Scott Weinstein | [1] |