×
Author ID: plotkin.j-m Recent zbMATH articles by "Plotkin, J. M."
Published as: Plotkin, J. M.
Documents Indexed: 20 Publications since 1969
1 Contribution as Editor
Reviewing Activity: 326 Reviews
Co-Authors: 7 Co-Authors with 15 Joint Publications
109 Co-Co-Authors

Citations contained in zbMATH Open

14 Publications have been cited 32 times in 29 Documents Cited by Year
Hausdorff on ordered sets. Translated from the German and edited by J. M. Plotkin. Zbl 1081.01025
Hausdorff, Felix
4
2005
Generic embedding. Zbl 0182.32901
Plotkin, J. M.
4
1969
How to obtain an asymptotic expansion of a sequence from an analytic identity satisfied by its generating function. Zbl 0795.05002
Plotkin, J. M.; Rosenthal, John W.
4
1994
Correction to “Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem”. Zbl 0617.68046
Franco, John; Plotkin, J. M.; Rosenthal, John W.
4
1987
The probability of pure literals. Zbl 0935.68050
Rosenthal, John W.; Plotkin, J. M.; Franco, John
3
1999
ZF and locally finite groups. Zbl 0468.03037
Plotkin, J. M.
3
1981
A topology for the space of countable models of a first order theory. Zbl 0327.02043
Baldwin, J. T.; Plotkin, J. M.
3
1974
Who put the “back” in back-and-forth? Zbl 0856.01018
Plotkin, J. M.
2
1993
On the equivalence of three local theorem techniques. Zbl 0258.20038
Hickin, K. K.; Plotkin, J. M.
2
1972
Boolean powers: direct decomposition and isomorphism types. Zbl 0466.20011
Hickin, Kenneth; Plotkin, J. M.
2
1981
A patching lemma. Zbl 0305.02072
Hickin, K. K.; Plotkin, J. M.
2
1976
ZF and Boolean algebra. Zbl 0363.02065
Plotkin, J. M.
1
1976
The expected complexity of analytic tableaux analyses in propositional calculus. Zbl 0494.03006
Plotkin, J. M.; Rosenthal, John W.
1
1982
Separation properties and Boolean powers. Zbl 0595.03027
Garavaglia, Steven; Plotkin, J. M.
1
1984
Hausdorff on ordered sets. Translated from the German and edited by J. M. Plotkin. Zbl 1081.01025
Hausdorff, Felix
4
2005
The probability of pure literals. Zbl 0935.68050
Rosenthal, John W.; Plotkin, J. M.; Franco, John
3
1999
How to obtain an asymptotic expansion of a sequence from an analytic identity satisfied by its generating function. Zbl 0795.05002
Plotkin, J. M.; Rosenthal, John W.
4
1994
Who put the “back” in back-and-forth? Zbl 0856.01018
Plotkin, J. M.
2
1993
Correction to “Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem”. Zbl 0617.68046
Franco, John; Plotkin, J. M.; Rosenthal, John W.
4
1987
Separation properties and Boolean powers. Zbl 0595.03027
Garavaglia, Steven; Plotkin, J. M.
1
1984
The expected complexity of analytic tableaux analyses in propositional calculus. Zbl 0494.03006
Plotkin, J. M.; Rosenthal, John W.
1
1982
ZF and locally finite groups. Zbl 0468.03037
Plotkin, J. M.
3
1981
Boolean powers: direct decomposition and isomorphism types. Zbl 0466.20011
Hickin, Kenneth; Plotkin, J. M.
2
1981
A patching lemma. Zbl 0305.02072
Hickin, K. K.; Plotkin, J. M.
2
1976
ZF and Boolean algebra. Zbl 0363.02065
Plotkin, J. M.
1
1976
A topology for the space of countable models of a first order theory. Zbl 0327.02043
Baldwin, J. T.; Plotkin, J. M.
3
1974
On the equivalence of three local theorem techniques. Zbl 0258.20038
Hickin, K. K.; Plotkin, J. M.
2
1972
Generic embedding. Zbl 0182.32901
Plotkin, J. M.
4
1969

Citations by Year