Cosmological lower bound on the circuit complexity of a small problem in logic
- Larry Stockmeyer
- Albert R. Meyer
- 2002
- Journal of the ACM
Paper
Publications
9 results for Albert R. Meyer
Completeness for typed lazy inequalities
- Stavros S. Cosmadakis
- Albert R. Meyer
- et al.
- 1990
- LICS 1990
Conference paperOn time versus space III
- Joseph Y. Halpern
- Michael C. Loui
- et al.
- 1986
- Mathematical Systems Theory
PaperEquations between regular terms and an application to process logic
- Ashok Chandra
- Joe Halpern
- et al.
- 1981
- STOC 1981
Conference paperReal-Time Simulation of Multihead Tape Units
- Patrick C. Fischer
- Albert R. Meyer
- et al.
- 1972
- Journal of the ACM
PaperTime-restricted sequence generation
- Patrick C. Fischer
- Albert R. Meyer
- et al.
- 1970
- Journal of Computer and System Sciences
PaperCounter machines and counter languages
- Patrick C. Fischer
- Albert R. Meyer
- et al.
- 1968
- Mathematical Systems Theory
PaperReal time counter mchines preliminary version
- Patrick C. Fischer
- Albert R. Meyer
- et al.
- 1967
- SWAT 1967
Conference paperTuring machines with several read-write heads preliminary report
- Albert R. Meyer
- Arnold L. Rosenberg
- et al.
- 1967
- SWAT 1967
Conference paper