dblp.uni-trier.dewww.uni-trier.de

Mark E. Nadel Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1994
12EEWilliam 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
9EEHai-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)

Coauthor Index

1William M. Farmer [12]
2Joshua D. Guttman [5] [12]
3Julia F. Knight [3] [4]
4Hai-Ping Ko [8] [9] [10]
5Roman Kossak [6]
6David A. McAllester [10]
7James H. Schmerl [6]
8Jonathan Stavi [1] [7]
9F. Javier Thayer [12]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)