The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mark E. Nadel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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:356-370 [Conf]
  2. Joshua D. Guttman, Mark E. Nadel
    What Needs Securing. [Citation Graph (0, 0)][DBLP]
    CSFW, 1988, pp:34-57 [Conf]
  3. Hai-Ping Ko, Mark E. Nadel
    Substitution and Refutation Revisited. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:679-692 [Conf]
  4. Hai-Ping Ko, Mark E. Nadel
    Elementary Lower Bounds for th Length of Refutations. [Citation Graph (0, 0)][DBLP]
    LPAR, 1992, pp:137-147 [Conf]
  5. Hai-Ping 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:31-58 [Journal]
  6. 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:587-604 [Journal]
  7. 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:833-840 [Journal]
  8. 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:936-940 [Journal]
  9. Mark E. Nadel
    On a Problem of MacDowell and Specker. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1980, v:45, n:3, pp:612-622 [Journal]
  10. Mark E. Nadel
    Scott Heights of Abelian Groups. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:4, pp:1351-1359 [Journal]
  11. 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:33-46 [Journal]
  12. 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:1-20 [Journal]

Search in 0.004secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002