Jacob Manuel Plotkin

According to our database, Jacob Manuel Plotkin authored at least 7 papers between 1969 and 1999.

Collaborative distances:

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

1999

The Probability of Pure Literals.

John W. Rosenthal, Jacob Manuel Plotkin, John Franco

J. Log. Comput., 1999

1987

Correction to probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem.

John Franco, Jacob Manuel Plotkin, John W. Rosenthal

Discret. Appl. Math., 1987

1982

The expected complexity of analytic tableaux analyses in propositional calculus.

Jacob Manuel Plotkin, John W. Rosenthal

Notre Dame J. Formal Log., 1982

1981

ZF and Locally Finite Groups.

Jacob Manuel Plotkin

Math. Log. Q., 1981

1976

A patching lemma.

K. K. Hickin, Jacob Manuel Plotkin

Notre Dame J. Formal Log., 1976

1975

An Algebraic Characterization of Power Set in Countable Standard Models of ZF.

George Metakides, Jacob Manuel Plotkin

J. Symb. Log., 1975

1969

Generic Embeddings.

Jacob Manuel Plotkin

J. Symb. Log., 1969