On logic comparison
- Leonard Berman
- 1981
- DAC 1981
Publications
Date
Featured collections
Popular topics
8 results for Leonard Berman
Global flow analysis in automatic logic design
- Louise Trevillyan
- William Joyner
- et al.
- 1986
- IEEE TC
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
Precise bounds for presburger arithmetic and the reals with addition: Preliminary report
- Leonard Berman
- 1977
- FOCS 1977
Some observations concerning alternating turing machines using small space
- Jik H. Chang
- Oscar H. Ibarra
- et al.
- 1987
- Information Processing Letters
The complexity of logical theories
- Leonard Berman
- 1980
- Theoretical Computer Science