×
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
108 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

13 Publications have been cited 30 times in 27 Documents Cited by Year
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
Generic embedding. Zbl 0182.32901
Plotkin, J. M.
4
1969
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
The probability of pure literals. Zbl 0935.68050
Rosenthal, John W.; Plotkin, J. M.; Franco, John
3
1999
A patching lemma. Zbl 0305.02072
Hickin, K. K.; Plotkin, J. M.
2
1976
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
Separation properties and Boolean powers. Zbl 0595.03027
Garavaglia, Steven; Plotkin, J. M.
1
1984
Boolean powers: direct decomposition and isomorphism types. Zbl 0466.20011
Hickin, Kenneth; Plotkin, J. M.
1
1981
The expected complexity of analytic tableaux analyses in propositional calculus. Zbl 0494.03006
Plotkin, J. M.; Rosenthal, John W.
1
1982
Hausdorff on ordered sets. Translated from the German and edited by J. M. Plotkin. Zbl 1081.01025
Hausdorff, Felix
1
2005
Hausdorff on ordered sets. Translated from the German and edited by J. M. Plotkin. Zbl 1081.01025
Hausdorff, Felix
1
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.
1
1981
A patching lemma. Zbl 0305.02072
Hickin, K. K.; Plotkin, J. M.
2
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