| 2002 |
|---|
| 10 | EE | Eric Rosen:
Some aspects of model theory and finite structures.
Bulletin of Symbolic Logic 8(3): 380-403 (2002) |
| 2000 |
|---|
| 9 | EE | Eric Rosen,
Jerzy Tyszkiewicz:
SO(forall-exist*) Sentences and Their Asymptotic Probabilities.
Math. Log. Q. 46(4): 435-452 (2000) |
| 1999 |
|---|
| 8 | EE | Erich Grädel,
Eric Rosen:
Two-Variable Descriptions of Regularity.
LICS 1999: 14-23 |
| 7 | EE | Eric Rosen:
An existential fragment of second order logic.
Arch. Math. Log. 38(4-5): 217-234 (1999) |
| 6 | EE | Erich Grädel,
Martin Otto,
Eric Rosen:
Undecidability results on two-variable logics.
Arch. Math. Log. 38(4-5): 313-354 (1999) |
| 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 |
