Publications

39 results at Information and Control

A zero-one law for logic with a fixed-point operator
- - Andreas Blass
  - Yuri Gurevich
  - et al.
- 1985
- Information and Control
Pseudorandom number generation and space complexity
- - Merrick Furst
  - Richard Lipton
  - et al.
- 1985
- Information and Control
Alternation bounded auxiliary pushdown automata
- - Richard E. Ladner
  - Larry J. Stockmeyer
  - et al.
- 1984
- Information and Control
On the spectra of universal relational sentences
- - Harvey Friedman
- 1984
- Information and Control
Optimal orientations of cells in slicing floorplan designs
- - Larry Stockmeyer
- 1983
- Information and Control
Deterministic process logic is elementary
- - Joseph Y. Halpern
- 1983
- Information and Control
An efficient algorithm for byzantine agreement without authentication
- - Danny Dolev
  - Michael J. Fischer
  - et al.
- 1982
- Information and Control
Fair derivations in context-free grammars
- - Sara Porat
  - Nissim Francez
  - et al.
- 1982
- Information and Control
On-line simulation of k + 1 tapes by k tapes requires nonlinear time
- - W. Paul
- 1982
- Information and Control
A robustized vector recursive stabilizer algorithm for image restoration
- - Ivan Kadar
  - Ludwik Kurz
- 1980
- Information and Control