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