#### Filter Results:

- Full text PDF available (5)

#### Publication Year

1958

2017

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

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Stan J. Thomas, Patrick C. Fischer
- Advances in Computing Research
- 1986

- Chandra M. R. Kintala, Patrick C. Fischer
- SIAM J. Comput.
- 1980

- Chandra M. R. Kintala, Patrick C. Fischer
- STOC
- 1977

Nondeterminism is one of the most elusive concepts in computing.
In this paper we direct our efforts towards viewing nondeterminism as an additional resource at the disposal of time or space bounded Turing machine computations and study the classes of languages acceptable by these machines with <underline>restricted</underline> amounts of nondeterminism.
… (More)

- Patrick C. Fischer, Albert R. Meyer, Arnold L. Rosenberg
- Mathematical systems theory
- 1968

The languages recognizable by time- and space-restricted multiple-counter machines are compared to the languages recognizable by similarly restricted multipletape Turing machines. Special emphasis is placed on languages definable by machines which operate in “real time”. Time and space requirements for counter machines and Turing machines are analyzed. A… (More)

- Patrick C. Fischer
- J. ACM
- 1965

A construction is given of a one-dimensional iterative of finite-state sequential machines, which can generate in real time the binary sequence representing the set of prime numbers.

- Patrick C. Fischer, Arnold L. Rosenberg
- J. Comput. Syst. Sci.
- 1968

- Albert R. Meyer, Patrick C. Fischer
- J. Symb. Log.
- 1972

- Patrick C. Fischer, Chandra M. R. Kintala
- Mathematical systems theory
- 1979

By restricting the number of nondeterministic moves permitted during a real-time Turing machine computation, an infinite hierarchy can be exhibited between the real-time definable languages of Rosenberg and the quasi-real-time languages of Book and Greibach.

- Patrick C. Fischer, Dirk Van Gucht
- PODS
- 1984

Introduction. Weak multivalued dependencies (WlVDs) mre introduced by Jaeschke ind Scheck in order to characterize when twc NEST operations on different single attributes muld conmute [JSI. Thomas extended this result to nesting cn arbitrary structures and also gave a graph-theoretic characterization [Tl. In this paper we give additional characterizations… (More)

- Dirk Van Gucht, Patrick C. Fischer
- J. Comput. Syst. Sci.
- 1988

We consider relations not in lirst normal form, i.e., a data item in a relation may itself be a relation, and extend the relational algebra to include the restructuring operators NEST and UNNEST. Algebraic characterizations are given for the classes of normalization-lossless relations (obtainable by restructuring flat relations), the nested flat relations… (More)