×

Shepherdson, John C.

Compute Distance To:
Author ID: shepherdson.john-c Recent zbMATH articles by "Shepherdson, John C."
Published as: Shepherdson, J. C.; Shepherdson, John C.; Shepherdson, John

Publications by Year

Citations contained in zbMATH Open

46 Publications have been cited 700 times in 649 Documents Cited by Year
Effective procedures in field theory. Zbl 0070.03502
Fröhlich, A.; Shepherdson, J. C.
107
1956
Computability of recursive functions. Zbl 0118.25401
Shepherdson, J. C.; Sturgis, H. E.
88
1963
The reduction of two-way automata to one-way automata. Zbl 0158.25601
Shepherdson, J. C.
63
1959
Partial evaluation in logic programming. Zbl 0741.68030
Lloyd, J. W.; Shepherdson, J. C.
42
1991
Effective operations on partial recursive functions. Zbl 0068.24706
Myhill, J.; Shepherdson, J. C.
34
1955
Negation in Logic Programming. Zbl 0718.68020
Shepherdson, J. C.
31
1988
A non-standard model for a free variable fragment of number theory. Zbl 0132.24701
Shepherdson, J. C.
31
1964
Inverses and zero divisors in matrix rings. Zbl 0043.01702
Shepherdson, J. C.
30
1951
Negation as failure: A comparison of Clark’s completed data base and Reiter’s closed world assumption. Zbl 0575.68094
Shepherdson, John C.
22
1984
Machine configuration and word problems of given degree of unsolvability. Zbl 0161.00803
Shepherdson, J. C.
21
1965
The Liar paradox and fuzzy logic. Zbl 0945.03031
Hájek, Petr; Paris, Jeff; Shepherdson, John
18
2000
Gödel’s second incompleteness theorem for Q. Zbl 0328.02017
Bezboruah, A.; Shepherdson, J. C.
18
1976
Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic. Zbl 0971.03025
Hájek, Petr; Paris, Jeff; Shepherdson, John
17
2000
On the definition of computable function of a real variable. Zbl 0359.02029
Shepherdson, J. C.
16
1976
Negation as failure. II. Zbl 0603.68094
Shepherdson, John C.
13
1985
Sets recognized by n-tape automata. Zbl 0207.02002
Eilenberg, S.; Elgot, C. C.; Shepherdson, J. C.
13
1969
Inner models for set theory. I. Zbl 0043.05302
Shepherdson, J. C.
11
1951
A sound and complete semantics for a version of negation as failure. Zbl 0682.68095
Shepherdson, J. C.
10
1989
Representability of recursively enumerable sets in formal theories. Zbl 0113.24305
Shepherdson, J. C.
9
1961
A semantically meaningful characterization of reducible flowchart schemes. Zbl 0399.68024
Elgot, Calvin C.; Shepherdson, John C.
9
1979
Inner models for set theory. II. Zbl 0048.28105
Shepherdson, J. C.
9
1952
On the factorization of polynomials in a finite number of steps. Zbl 0064.24902
Fröhlich, A.; Shepherdson, J. C.
9
1955
On the interpretation of Aristotelian syllogistic. Zbl 0072.24705
Shepherdson, J. C.
9
1956
An equational axiomatization of the algebra of reducible flowchart schemes. Zbl 0475.68002
Elgot, Calvin C.; Shepherdson, John C.
8
1982
Variants of Robinson’s essentially undecidable theory R. Zbl 0511.03015
Jones, James P.; Shepherdson, John C.
8
1983
Inner models for set theory. III. Zbl 0051.03801
Shepherdson, J. C.
7
1953
On the addition of elements of a sequence. Zbl 0029.34402
Shepherdson, J. C.
6
1947
Utility theory based on rational probabilities. Zbl 0427.90009
Shepherdson, J. C.
5
1980
Computation over abstract structures: Serial and parallel procedures and Friedman’s effective definitional schemes. Zbl 0325.02026
Shepherdson, J. C.
5
1975
Non-standard models for fragments of number theory. Zbl 0154.26202
Shepherdson, J. C.
3
1965
Logics for negation as failure. Zbl 0755.03012
Shepherdson, J. C.
3
1992
The characterization problem for Hoare logics. With discussion by P. Aczel, J. V. Tucker and J. C. Shepherdson. Zbl 0598.68035
Clarke, E. M. jun.
2
1984
Some diophantine forms of Goedel’s theorem. Zbl 0494.03043
Dyson, Verena H.; Jones, James P.; Shepherdson, John C.
2
1982
A note on the notion of truth in fuzzy logic. Zbl 1004.03020
Hájek, Petr; Shepherdson, John
2
2001
Negation as failure, completion and stratification. Zbl 0900.68138
Shepherdson, J. C.
2
1998
The role of standardising apart in logic programming. Zbl 0811.68068
Shepherdson, J. C.
2
1994
Machine configuration and word problems of given degree of unsolvability. Zbl 0166.26502
Shepherdson, J. C.
2
1965
Correct answers to allowed programs and queries are ground. Zbl 0764.68156
Shepherdson, J. C.
2
1991
SLDNF-resolution with equality. Zbl 0754.68036
Shepherdson, J. C.
2
1992
Unfold/fold transformations of logic programs. Zbl 0749.68021
Shepherdson, J. C.
2
1992
Well-ordered sub-series of general series. Zbl 0044.04704
Shepherdson, J. C.
2
1951
Mathematical logic and programming languages. (A Discussion Meeting of the Royal Society of London, held on February 15 and 16, 1984). Zbl 0626.68003
1
1985
Extracting programs from proofs by an extension of the Curry-Howard process. Zbl 0821.03017
Crossley, John N.; Shepherdson, John C.
1
1993
Partial deduction of updateable definite logic programs. Zbl 0803.68015
Benkerimi, K.; Shepherdson, J. C.
1
1994
Mints type deductive calculi for logic programming. Zbl 0761.03011
Shepherdson, J. C.
1
1992
Logic colloquium ’73. Proceedings of the logic colloquium, Bristol, July 1973. Zbl 0299.00011
1
1975
A note on the notion of truth in fuzzy logic. Zbl 1004.03020
Hájek, Petr; Shepherdson, John
2
2001
The Liar paradox and fuzzy logic. Zbl 0945.03031
Hájek, Petr; Paris, Jeff; Shepherdson, John
18
2000
Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic. Zbl 0971.03025
Hájek, Petr; Paris, Jeff; Shepherdson, John
17
2000
Negation as failure, completion and stratification. Zbl 0900.68138
Shepherdson, J. C.
2
1998
The role of standardising apart in logic programming. Zbl 0811.68068
Shepherdson, J. C.
2
1994
Partial deduction of updateable definite logic programs. Zbl 0803.68015
Benkerimi, K.; Shepherdson, J. C.
1
1994
Extracting programs from proofs by an extension of the Curry-Howard process. Zbl 0821.03017
Crossley, John N.; Shepherdson, John C.
1
1993
Logics for negation as failure. Zbl 0755.03012
Shepherdson, J. C.
3
1992
SLDNF-resolution with equality. Zbl 0754.68036
Shepherdson, J. C.
2
1992
Unfold/fold transformations of logic programs. Zbl 0749.68021
Shepherdson, J. C.
2
1992
Mints type deductive calculi for logic programming. Zbl 0761.03011
Shepherdson, J. C.
1
1992
Partial evaluation in logic programming. Zbl 0741.68030
Lloyd, J. W.; Shepherdson, J. C.
42
1991
Correct answers to allowed programs and queries are ground. Zbl 0764.68156
Shepherdson, J. C.
2
1991
A sound and complete semantics for a version of negation as failure. Zbl 0682.68095
Shepherdson, J. C.
10
1989
Negation in Logic Programming. Zbl 0718.68020
Shepherdson, J. C.
31
1988
Negation as failure. II. Zbl 0603.68094
Shepherdson, John C.
13
1985
Mathematical logic and programming languages. (A Discussion Meeting of the Royal Society of London, held on February 15 and 16, 1984). Zbl 0626.68003
1
1985
Negation as failure: A comparison of Clark’s completed data base and Reiter’s closed world assumption. Zbl 0575.68094
Shepherdson, John C.
22
1984
The characterization problem for Hoare logics. With discussion by P. Aczel, J. V. Tucker and J. C. Shepherdson. Zbl 0598.68035
Clarke, E. M. jun.
2
1984
Variants of Robinson’s essentially undecidable theory R. Zbl 0511.03015
Jones, James P.; Shepherdson, John C.
8
1983
An equational axiomatization of the algebra of reducible flowchart schemes. Zbl 0475.68002
Elgot, Calvin C.; Shepherdson, John C.
8
1982
Some diophantine forms of Goedel’s theorem. Zbl 0494.03043
Dyson, Verena H.; Jones, James P.; Shepherdson, John C.
2
1982
Utility theory based on rational probabilities. Zbl 0427.90009
Shepherdson, J. C.
5
1980
A semantically meaningful characterization of reducible flowchart schemes. Zbl 0399.68024
Elgot, Calvin C.; Shepherdson, John C.
9
1979
Gödel’s second incompleteness theorem for Q. Zbl 0328.02017
Bezboruah, A.; Shepherdson, J. C.
18
1976
On the definition of computable function of a real variable. Zbl 0359.02029
Shepherdson, J. C.
16
1976
Computation over abstract structures: Serial and parallel procedures and Friedman’s effective definitional schemes. Zbl 0325.02026
Shepherdson, J. C.
5
1975
Logic colloquium ’73. Proceedings of the logic colloquium, Bristol, July 1973. Zbl 0299.00011
1
1975
Sets recognized by n-tape automata. Zbl 0207.02002
Eilenberg, S.; Elgot, C. C.; Shepherdson, J. C.
13
1969
Machine configuration and word problems of given degree of unsolvability. Zbl 0161.00803
Shepherdson, J. C.
21
1965
Non-standard models for fragments of number theory. Zbl 0154.26202
Shepherdson, J. C.
3
1965
Machine configuration and word problems of given degree of unsolvability. Zbl 0166.26502
Shepherdson, J. C.
2
1965
A non-standard model for a free variable fragment of number theory. Zbl 0132.24701
Shepherdson, J. C.
31
1964
Computability of recursive functions. Zbl 0118.25401
Shepherdson, J. C.; Sturgis, H. E.
88
1963
Representability of recursively enumerable sets in formal theories. Zbl 0113.24305
Shepherdson, J. C.
9
1961
The reduction of two-way automata to one-way automata. Zbl 0158.25601
Shepherdson, J. C.
63
1959
Effective procedures in field theory. Zbl 0070.03502
Fröhlich, A.; Shepherdson, J. C.
107
1956
On the interpretation of Aristotelian syllogistic. Zbl 0072.24705
Shepherdson, J. C.
9
1956
Effective operations on partial recursive functions. Zbl 0068.24706
Myhill, J.; Shepherdson, J. C.
34
1955
On the factorization of polynomials in a finite number of steps. Zbl 0064.24902
Fröhlich, A.; Shepherdson, J. C.
9
1955
Inner models for set theory. III. Zbl 0051.03801
Shepherdson, J. C.
7
1953
Inner models for set theory. II. Zbl 0048.28105
Shepherdson, J. C.
9
1952
Inverses and zero divisors in matrix rings. Zbl 0043.01702
Shepherdson, J. C.
30
1951
Inner models for set theory. I. Zbl 0043.05302
Shepherdson, J. C.
11
1951
Well-ordered sub-series of general series. Zbl 0044.04704
Shepherdson, J. C.
2
1951
On the addition of elements of a sequence. Zbl 0029.34402
Shepherdson, J. C.
6
1947
all top 5

Cited by 751 Authors

13 Bazhenov, Nikolaĭ Alekseevich
12 Busi, Nadia
12 Zavattaro, Gianluigi
11 Downey, Rodney Graham
10 Miller, Russell G.
9 Melnikov, Alexander G.
9 Shepherdson, John C.
7 Choffrut, Christian
7 Hájek, Petr
7 Willard, Dan E.
6 Conidis, Chris J.
6 Hamidoune, Yahya Ould
6 Kalimullin, Iskander Shagitovich
6 Lecerf, Grégoire
6 Lee, Yang
6 Vidal, Germán
5 Birget, Jean-Camille
5 Fokina, Ekaterina B.
5 Geffert, Viliam
5 Grigorieff, Serge
5 Hughes, Charles E.
5 Kwak, Tai Keun
5 Nerode, Anil
5 Tucker, John V.
4 D’Aquino, Paola
4 Demeyer, Jeroen
4 Field, Hartry H.
4 Gabbrielli, Maurizio
4 Goncharov, Sergeĭ Savost’yanovich
4 Gorrieri, Roberto
4 Jeřábek, Emil
4 Kanamori, Akihiro
4 Matiyasevich, Yuriĭ Vladimirovich
4 Mereghetti, Carlo
4 Ng, KengMeng
4 Palano, Beatrice
4 Puebla, Germán
4 Spreen, Dieter
4 Yakaryılmaz, Abuzer
4 Zucker, Jeffery I.
3 Aanderaa, Stål Olav
3 Albert, Elvira
3 Anselmo, Marcella
3 Bartha, Miklós
3 Bidoit, Nicole
3 Börger, Egon
3 Boughattas, Sedki
3 Bravetti, Mario
3 Carl, Merlin
3 Cintula, Petr
3 Collins, Donald J.
3 De Schreye, Danny
3 Delahaye, Jean-Paul
3 Etalle, Sandro
3 Godo, Lluís
3 Gottwald, Siegfried
3 Kfoury, Assaf J.
3 Khurana, Dinesh
3 Ko, Ker-I
3 Kołodziejczyk, Leszek Aleksander
3 Kudinov, Oleg Victorovich
3 Kutrib, Martin
3 Lempp, Steffen
3 Lewis, Alain A.
3 Longo, Giuseppe
3 Macintyre, Angus John
3 Montagna, Franco
3 Moschovakis, Yiannis Nicholas
3 Otto, Friedrich
3 Pettorossi, Alberto
3 Pighizzini, Giovanni
3 Pour-El, Marian Boykan
3 Proietti, Maurizio
3 Richards, Ian
3 Say, A. C. Cem
3 Schlipf, John Stewart
3 Singletary, W. E.
3 Topor, Rodney W.
3 Turetsky, Daniel D.
3 van der Hoeven, Joris
3 Yamaleev, Mars Mansurovich
2 Alpuente, María
2 Berthomieu, Jérémy
2 Bloom, Stephen L.
2 Bol, Roland N.
2 Bossi, Annalisa
2 Bruynooghe, Maurice
2 Bunina, Elena Igor’evna
2 Cheng, Yong
2 Chernov, V. P.
2 Constable, Robert Lee
2 Crossley, John Newsome
2 Da Ré, Bruno
2 Dartois, Luc
2 Dean, Walter
2 Doczkal, Christian
2 Dovier, Agostino
2 Drabent, Włodzimierz
2 Escobar, Santiago
2 Feferman, Solomon
...and 651 more Authors
all top 5

Cited in 138 Serials

95 Theoretical Computer Science
42 Annals of Pure and Applied Logic
29 The Journal of Symbolic Logic
26 Journal of Computer and System Sciences
20 Information and Computation
18 Archive for Mathematical Logic
17 The Bulletin of Symbolic Logic
16 Journal of Algebra
15 Transactions of the American Mathematical Society
10 Information Processing Letters
9 Journal of Automated Reasoning
9 Annals of Mathematics and Artificial Intelligence
8 Notre Dame Journal of Formal Logic
8 Proceedings of the American Mathematical Society
8 Journal of Symbolic Computation
8 New Generation Computing
8 The Review of Symbolic Logic
7 Archiv für Mathematische Logik und Grundlagenforschung
7 Communications in Algebra
7 Studia Logica
7 Journal of Mathematical Sciences (New York)
6 Acta Informatica
6 Artificial Intelligence
6 MSCS. Mathematical Structures in Computer Science
6 Mathematical Logic Quarterly (MLQ)
5 Advances in Mathematics
5 Algebra and Logic
5 Fuzzy Sets and Systems
5 RAIRO. Informatique Théorique et Applications
5 Journal of Algebra and its Applications
5 Journal of Logical and Algebraic Methods in Programming
4 Journal of Pure and Applied Algebra
4 Journal of Soviet Mathematics
4 Mathematical Systems Theory
4 Journal of Complexity
4 Applicable Algebra in Engineering, Communication and Computing
4 Journal of Applied Non-Classical Logics
4 Theory and Practice of Logic Programming
4 Bulletin of the American Mathematical Society
4 RAIRO. Theoretical Informatics and Applications
3 Journal of Philosophical Logic
3 Mathematical Social Sciences
3 Formal Aspects of Computing
3 International Journal of Algebra and Computation
3 International Journal of Foundations of Computer Science
3 RAIRO. Theoretical Informatics and Applications
2 Discrete Mathematics
2 International Journal of General Systems
2 Lithuanian Mathematical Journal
2 Mathematical Notes
2 Chaos, Solitons and Fractals
2 Acta Mathematica
2 Archiv der Mathematik
2 Compositio Mathematica
2 Information Sciences
2 International Journal of Computer & Information Sciences
2 Siberian Mathematical Journal
2 Synthese
2 Theory and Decision
2 History and Philosophy of Logic
2 Acta Mathematica Hungarica
2 Journal of Computer Science and Technology
2 Linear Algebra and its Applications
2 Combinatorics, Probability and Computing
2 Journal of Functional Programming
2 Theory of Computing Systems
2 Soft Computing
2 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
2 Lobachevskii Journal of Mathematics
2 ACM Transactions on Computational Logic
2 Computability
1 Acta Mathematica Academiae Scientiarum Hungaricae
1 Archive for History of Exact Sciences
1 Israel Journal of Mathematics
1 Linear and Multilinear Algebra
1 Russian Mathematical Surveys
1 Ukrainian Mathematical Journal
1 Bulletin of the Polish Academy of Sciences. Technical Sciences
1 Annales de l’Institut Fourier
1 Annali di Matematica Pura ed Applicata. Serie Quarta
1 Bulletin de la Société Mathématique de France
1 Computing
1 Czechoslovak Mathematical Journal
1 Inventiones Mathematicae
1 Journal of Economic Theory
1 Journal of Mathematical Economics
1 Journal of Mathematical Psychology
1 Journal of Number Theory
1 Manuscripta Mathematica
1 Mathematische Annalen
1 Mathematics and Computers in Simulation
1 Mathematische Nachrichten
1 Mathematica Slovaca
1 Mathematische Zeitschrift
1 Memoirs of the American Mathematical Society
1 RAIRO, Informatique Théorique
1 European Journal of Combinatorics
1 Advances in Applied Mathematics
1 Bulletin of the Korean Mathematical Society
1 Japan Journal of Applied Mathematics
...and 38 more Serials
all top 5

Cited in 42 Fields

324 Mathematical logic and foundations (03-XX)
309 Computer science (68-XX)
31 Associative rings and algebras (16-XX)
30 Field theory and polynomials (12-XX)
29 Number theory (11-XX)
21 Group theory and generalizations (20-XX)
18 Order, lattices, ordered algebraic structures (06-XX)
16 History and biography (01-XX)
14 Commutative algebra (13-XX)
8 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
7 Combinatorics (05-XX)
6 General and overarching topics; collections (00-XX)
6 General topology (54-XX)
6 Information and communication theory, circuits (94-XX)
5 Category theory; homological algebra (18-XX)
5 Quantum theory (81-XX)
4 General algebraic systems (08-XX)
4 Geometry (51-XX)
3 Algebraic geometry (14-XX)
3 Dynamical systems and ergodic theory (37-XX)
2 Linear and multilinear algebra; matrix theory (15-XX)
2 Nonassociative rings and algebras (17-XX)
2 Real functions (26-XX)
2 Ordinary differential equations (34-XX)
2 Functional analysis (46-XX)
2 Numerical analysis (65-XX)
2 Operations research, mathematical programming (90-XX)
1 \(K\)-theory (19-XX)
1 Topological groups, Lie groups (22-XX)
1 Measure and integration (28-XX)
1 Functions of a complex variable (30-XX)
1 Several complex variables and analytic spaces (32-XX)
1 Partial differential equations (35-XX)
1 Approximations and expansions (41-XX)
1 Harmonic analysis on Euclidean spaces (42-XX)
1 Operator theory (47-XX)
1 Convex and discrete geometry (52-XX)
1 Algebraic topology (55-XX)
1 Probability theory and stochastic processes (60-XX)
1 Mechanics of deformable solids (74-XX)
1 Biology and other natural sciences (92-XX)
1 Systems theory; control (93-XX)

Citations by Year