1994 |
12 | | William M. Farmer,
Joshua D. Guttman,
Mark E. Nadel,
F. Javier Thayer:
Proof Script Pragmatics in IMPS.
CADE 1994: 356-370 |
11 | | Mark E. Nadel:
Scott Heights of Abelian Groups.
J. Symb. Log. 59(4): 1351-1359 (1994) |
1993 |
10 | | Hai-Ping Ko,
David A. McAllester,
Mark E. Nadel:
Lower Bounds for the Lengths of Refutations.
J. Log. Program. 17(1): 31-58 (1993) |
1992 |
9 | | Hai-Ping Ko,
Mark E. Nadel:
Elementary Lower Bounds for th Length of Refutations.
LPAR 1992: 137-147 |
1991 |
8 | | Hai-Ping Ko,
Mark E. Nadel:
Substitution and Refutation Revisited.
ICLP 1991: 679-692 |
1990 |
7 | | Mark E. Nadel,
Jonathan Stavi:
On Models of the Elementary Theory of (Z, +, 1).
J. Symb. Log. 55(1): 1-20 (1990) |
1989 |
6 | | Roman Kossak,
Mark E. Nadel,
James H. Schmerl:
A Note on the Multiplicative Semigroup of Models of Peano Arithmetic.
J. Symb. Log. 54(3): 936-940 (1989) |
1988 |
5 | | Joshua D. Guttman,
Mark E. Nadel:
What Needs Securing.
CSFW 1988: 34-57 |
1982 |
4 | | Julia F. Knight,
Mark E. Nadel:
Expansions of Models and Turing Degrees.
J. Symb. Log. 47(3): 587-604 (1982) |
3 | | Julia F. Knight,
Mark E. Nadel:
Models of Arithmetic and Closed Ideals.
J. Symb. Log. 47(4): 833-840 (1982) |
1980 |
2 | | Mark E. Nadel:
On a Problem of MacDowell and Specker.
J. Symb. Log. 45(3): 612-622 (1980) |
1977 |
1 | | Mark E. Nadel,
Jonathan Stavi:
The Pure Part of HYP(M).
J. Symb. Log. 42(1): 33-46 (1977) |