Concepedia

J. C. Shepherdson

JC

32

Publications

3K

Citations

25

H-Index

1947

Active since

Affiliations

University of Bristol(Current)

University of Manchester

At Bristol

Czech Academy of Sciences, Institute of Computer Science

University of California, Berkeley

J. C. Shepherdson is an author at University of Bristol specializing in engineering, automated reasoning, and formal methods.

Top concepts

Publications per year

1947–2000

32

Publications

32

Computability of Recursive Functions

J. C. Shepherdson, Howard E. Sturgis · Journal of the ACM · 1963 · 401 citations

, , +14

Partial evaluation in logic programming

John W. Lloyd, J. C. Shepherdson · The Journal of Logic Programming · 1991 · 388 citations

, , +5

The Reduction of Two-Way Automata to One-Way Automata

J. C. Shepherdson · IBM Journal of Research and Development · 1959 · 301 citations

, , +12

Effective procedures in field theory

A. Fröhlich, J. C. Shepherdson · Philosophical Transactions of the Royal Society of London Series A Mathematical and Physical Sciences · 1956 · 254 citations

Computer Programming and Formal Systems.

J. C. Shepherdson, P. Braffort, Daniel Hirschberg · The Philosophical Quarterly · 1965 · 235 citations

, , +16

Rows per page

1–5 of 32