×

zbMATH — the first resource for mathematics

Plotkin, J. M.

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
Reviewing Activity: 326 Reviews

Publications by Year

Citations contained in zbMATH Open

12 Publications have been cited 26 times in 24 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
ZF and locally finite groups. Zbl 0468.03037
Plotkin, J. M.
3
1981
Generic embedding. Zbl 0182.32901
Plotkin, J. M.
3
1969
The probability of pure literals. Zbl 0935.68050
Rosenthal, John W.; Plotkin, J. M.; Franco, John
3
1999
On the equivalence of three local theorem techniques. Zbl 0258.20038
Hickin, K. K.; Plotkin, J. M.
2
1972
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.
2
1994
Who put the “back” in back-and-forth? Zbl 0856.01018
Plotkin, J. M.
2
1993
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
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
Separation properties and Boolean powers. Zbl 0595.03027
Garavaglia, Steven; Plotkin, J. M.
1
1984
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.
2
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