Mark E. Nadel

13 papers A 1B 2Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
1994 A conf
Proof Script Pragmatics in IMPS.
CADE
William M. Farmer, Joshua D. Guttman, Mark E. Nadel, F. Javier Thayer
1994 J jnl
Scott Heights of Abelian Groups.
J. Symb. Log.
Mark E. Nadel
1993 J jnl
Lower Bounds for the Lengths of Refutations.
J. Log. Program.
Hai-Ping Ko, David A. McAllester, Mark E. Nadel
1992 B conf
Elementary Lower Bounds for th Length of Refutations.
LPAR
Hai-Ping Ko, Mark E. Nadel
1991 B conf
Substitution and Refutation Revisited.
ICLP
Hai-Ping Ko, Mark E. Nadel
1990 J jnl
On Models of the Elementary Theory of (Z, +, 1).
J. Symb. Log.
Mark E. Nadel, Jonathan Stavi
1989 J jnl
A Note on the Multiplicative Semigroup of Models of Peano Arithmetic.
J. Symb. Log.
Roman Kossak, Mark E. Nadel, James H. Schmerl
1988 — conf
What Needs Securing.
CSFW
Joshua D. Guttman, Mark E. Nadel
1982 J jnl
Expansions of Models and Turing Degrees.
J. Symb. Log.
Julia F. Knight, Mark E. Nadel
1982 J jnl
Models of Arithmetic and Closed Ideals.
J. Symb. Log.
Julia F. Knight, Mark E. Nadel
1980 J jnl
An Arbitrary Equivalence Relation as Elementary Equivalence in an Abstract Logic.
Math. Log. Q.
Mark E. Nadel
1980 J jnl
On a Problem of MacDowell and Specker.
J. Symb. Log.
Mark E. Nadel
1977 J jnl
The Pure Part of HYP(M).
J. Symb. Log.
Mark E. Nadel, Jonathan Stavi