Publications

8 results for Leonard Berman

Dual global flow
- - R. Damiano
  - Leonard Berman
- 1991
- ICCD 1991
Applications of global flow analysis in logic synthesis
- - Leonard Berman
  - Louise Trevillyan
  - et al.
- 1987
- ISCAS 1987
Improved logic optimization using global flow analysis
- - Leonard Berman
  - Louise Trevillyan
- 1987
- ICCAD 1987
Some observations concerning alternating turing machines using small space
- - Jik H. Chang
  - Oscar H. Ibarra
  - et al.
- 1987
- Information Processing Letters
Global flow analysis in automatic logic design
- - Louise Trevillyan
  - William Joyner
  - et al.
- 1986
- IEEE TC
On logic comparison
- - Leonard Berman
- 1981
- DAC 1981
The complexity of logical theories
- - Leonard Berman
- 1980
- Theoretical Computer Science
Precise bounds for presburger arithmetic and the reals with addition: Preliminary report
- - Leonard Berman
- 1977
- FOCS 1977