#### Filter Results:

- Full text PDF available (5)

#### Publication Year

1951

2008

#### Publication Type

#### Co-author

#### Publication Venue

#### 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
- Foundations of Deductive Databases and Logic…
- 1988

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

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, deterministic device supplied with unlimited storage are partial recursive, is relatively… (More)

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

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

- Petr Hájek, Jeff B. Paris, John C. Shepherdson
- J. Symb. Log.
- 2000

Can one extend crisp Peano arithmetic PA by a possibly many-valued predicate Tr(x) saying \x is true" and satisfying the \dequotation schema" ' Tr(') for all sentences '? This problem is investigated in the frame of Lukasiewicz innnitely valued logic.

- Petr Hájek, Jeff B. Paris, John C. Shepherdson
- J. Symb. Log.
- 2000

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