Improved lower bounds for the cycle detection problem
- Eric Allender
- Maria M. Klawe
- 1985
- Theoretical Computer Science
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
Date
Featured collections
Popular topics
132 results at Theoretical Computer Science
Bounded-depth, polynomial-size circuits for symmetric functions
- Ronald Fagin
- Maria M. Klawe
- et al.
- 1985
- Theoretical Computer Science
A weakest precondition semantics for communicating processes
- Tzilla Elrad
- Nissim Francez
- 1984
- Theoretical Computer Science
Parameter passing in algebraic specification languages
- Hartmut Ehrig
- Hans-Jörg Kreowski
- et al.
- 1983
- Theoretical Computer Science
On heads versus tapes
- W. Paul
- 1983
- Theoretical Computer Science
Results on the propositional μ-calculus
- Dexter Kozen
- 1983
- Theoretical Computer Science
On the complexity of multiplication in finite fields
- A. Lempel
- G. Seroussi
- et al.
- 1983
- Theoretical Computer Science
(g0, g1, ..., gk)-trees and unary OL systems
- D.T. Lee
- C.L. Liu
- et al.
- 1983
- Theoretical Computer Science
Decidability of "Skolem matrix emptiness problem" entails constructability of exact regular expression
- Marek Karpinski
- 1982
- Theoretical Computer Science
A note on the existence of continuous functionals
- J.Lawrence Carter
- Ronald Fagin
- 1981
- Theoretical Computer Science