
Search the dblp DataBase
Mark E. Nadel:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 William M. Farmer, Joshua D. Guttman, Mark E. Nadel, F. Javier Thayer
Proof Script Pragmatics in IMPS. [Citation Graph (0, 0)][DBLP] CADE, 1994, pp:356370 [Conf]
 Joshua D. Guttman, Mark E. Nadel
What Needs Securing. [Citation Graph (0, 0)][DBLP] CSFW, 1988, pp:3457 [Conf]
 HaiPing Ko, Mark E. Nadel
Substitution and Refutation Revisited. [Citation Graph (0, 0)][DBLP] ICLP, 1991, pp:679692 [Conf]
 HaiPing Ko, Mark E. Nadel
Elementary Lower Bounds for th Length of Refutations. [Citation Graph (0, 0)][DBLP] LPAR, 1992, pp:137147 [Conf]
 HaiPing Ko, David A. McAllester, Mark E. Nadel
Lower Bounds for the Lengths of Refutations. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1993, v:17, n:1, pp:3158 [Journal]
 Julia F. Knight, Mark E. Nadel
Expansions of Models and Turing Degrees. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1982, v:47, n:3, pp:587604 [Journal]
 Julia F. Knight, Mark E. Nadel
Models of Arithmetic and Closed Ideals. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1982, v:47, n:4, pp:833840 [Journal]
 Roman Kossak, Mark E. Nadel, James H. Schmerl
A Note on the Multiplicative Semigroup of Models of Peano Arithmetic. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1989, v:54, n:3, pp:936940 [Journal]
 Mark E. Nadel
On a Problem of MacDowell and Specker. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1980, v:45, n:3, pp:612622 [Journal]
 Mark E. Nadel
Scott Heights of Abelian Groups. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1994, v:59, n:4, pp:13511359 [Journal]
 Mark E. Nadel, Jonathan Stavi
The Pure Part of HYP(M). [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1977, v:42, n:1, pp:3346 [Journal]
 Mark E. Nadel, Jonathan Stavi
On Models of the Elementary Theory of (Z, +, 1). [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1990, v:55, n:1, pp:120 [Journal]
Search in 0.004secs, Finished in 0.004secs
