Mark E. Nadel

According to our database, Mark E. Nadel authored at least 13 papers between 1977 and 1994.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

1994

Scott Heights of Abelian Groups.

Mark E. Nadel

J. Symb. Log., 1994

Proof Script Pragmatics in IMPS.

William M. Farmer, Joshua D. Guttman, Mark E. Nadel, F. Javier Thayer

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1993

Lower Bounds for the Lengths of Refutations.

Hai-Ping Ko, David A. McAllester, Mark E. Nadel

J. Log. Program., 1993

1992

Elementary Lower Bounds for th Length of Refutations.

Hai-Ping Ko, Mark E. Nadel

Proceedings of the Logic Programming and Automated Reasoning, 1992

1991

Substitution and Refutation Revisited.

Hai-Ping Ko, Mark E. Nadel

Proceedings of the Logic Programming, 1991

1990

On Models of the Elementary Theory of (Z, +, 1).

Mark E. Nadel, Jonathan Stavi

J. Symb. Log., 1990

1989

A Note on the Multiplicative Semigroup of Models of Peano Arithmetic.

Roman Kossak, Mark E. Nadel, James H. Schmerl

J. Symb. Log., 1989

1988

What Needs Securing.

Joshua D. Guttman, Mark E. Nadel

Proceedings of the First IEEE Computer Security Foundations Workshop, 1988

1982

Models of Arithmetic and Closed Ideals.

Julia F. Knight, Mark E. Nadel

J. Symb. Log., 1982

Expansions of Models and Turing Degrees.

Julia F. Knight, Mark E. Nadel

J. Symb. Log., 1982

1980

An Arbitrary Equivalence Relation as Elementary Equivalence in an Abstract Logic.

Mark E. Nadel

Math. Log. Q., 1980

On a Problem of MacDowell and Specker.

Mark E. Nadel

J. Symb. Log., 1980

1977

The Pure Part of HYP(M).

Mark E. Nadel, Jonathan Stavi

J. Symb. Log., 1977