#### Filter Results:

- Full text PDF available (5)

#### Publication Year

1951

2008

- This year (0)
- Last 5 years (0)
- Last 10 years (2)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- John W. Lloyd, John C. Shepherdson
- J. Log. Program.
- 1991

- John C. Shepherdson
- Mathematical Structures in Computer Science
- 1991

- John C. Shepherdson
- IBM Journal of Research and Development
- 1959

We describe a new elementary reduction of two-way automata to one-way automata. The reduction is based on the subset construction rather than on crossing sequence analysis.

- John C. Shepherdson, Howard E. Sturgis
- J. ACM
- 1963

As a result of the work of Turing, Post, Kleene and Church [1, 2, 3, 9, 10, l l 12, 17, 18] it is now widely accepted ~ that the concept of "computable" as applied to a function ~ of natural numbers is correctly identified with the concept of "partial recursive." One half of this equivalence, that all functions computable by any finite, discrete,… (More)

- John C. Shepherdson
- Journal of Automated Reasoning
- 1992

The classic results of logic programming are based on an underlying equality relation of syntactic identity. Jaffar, Lassez and Maher [2] have shown how to extend these results, for definite clause programs, to other equality relations. We continue their development by showing how to deal with programs have negative literals in the bodies of clauses. We… (More)

- John C. Shepherdson
- Foundations of Deductive Databases and Logic…
- 1988

- John C. Shepherdson
- J. Log. Program.
- 1985

- John C. Shepherdson
- J. Log. Program.
- 1984

- Patricia M. Hill, John W. Lloyd, John C. Shepherdson
- J. Log. Comput.
- 1990

- John C. Shepherdson
- Theor. Comput. Sci.
- 1989