Jacob Manuel Plotkin

Publication Activity (10 Years)

Years Active: 1969-1999
Publications (10 Years): 0

Publications

John W. Rosenthal, Jacob Manuel Plotkin, John Franco
The Probability of Pure Literals. J. Log. Comput. 9 (4) (1999)
John Franco, Jacob Manuel Plotkin, John W. Rosenthal
Correction to probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem. Discret. Appl. Math. 17 (3) (1987)
Jacob Manuel Plotkin, John W. Rosenthal
The expected complexity of analytic tableaux analyses in propositional calculus. Notre Dame J. Formal Log. 23 (4) (1982)
Jacob Manuel Plotkin
ZF and Locally Finite Groups. Math. Log. Q. 27 (23-24) (1981)
K. K. Hickin, Jacob Manuel Plotkin
A patching lemma. Notre Dame J. Formal Log. 17 (1) (1976)
George Metakides, Jacob Manuel Plotkin
An Algebraic Characterization of Power Set in Countable Standard Models of ZF. J. Symb. Log. 40 (2) (1975)
Jacob Manuel Plotkin
Generic Embeddings. J. Symb. Log. 34 (3) (1969)