×
Compute Distance To:
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

12 Publications have been cited 27 times in 25 Documents Cited by Year
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
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.
3
1994
The probability of pure literals. Zbl 0935.68050
Rosenthal, John W.; Plotkin, J. M.; Franco, John
3
1999
Generic embedding. Zbl 0182.32901
Plotkin, J. M.
3
1969
ZF and locally finite groups. Zbl 0468.03037
Plotkin, J. M.
3
1981
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
A topology for the space of countable models of a first order theory. Zbl 0327.02043
Baldwin, J. T.; Plotkin, J. M.
2
1974
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
Boolean powers: direct decomposition and isomorphism types. Zbl 0466.20011
Hickin, Kenneth; Plotkin, J. M.
1
1981
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.
3
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.
2
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.
3
1969

Citations by Year