`Travelled to:`

4 × USA

`Collaborated with:`

∅ Y.Gurevich C.H.Papadimitriou J.H.Reif A.K.Chandra J.A.Makowsky

`Talks about:`

problem (3) depend (2) infer (2) nonintersect (1) schemata (1) templat (1) symmetr (1) program (1) equival (1) concret (1)

## Person: Harry R. Lewis

### DBLP: Lewis:Harry_R=

### Facilitated 1 volumes:

### Contributed to:

### Wrote 6 papers:

- LICS-1990-Lewis #logic
- A Logic of Concrete Time Intervals (HRL), pp. 380–389.
- PODS-1982-GurevichL #dependence #problem
- The Inference Problem for Template Dependencies (YG, HRL), pp. 221–229.
- STOC-1981-ChandraLM #dependence #embedded #problem
- Embedded Implicational Dependencies and their Inference Problem (AKC, HRL, JAM), pp. 342–354.
- ICALP-1980-LewisP #bound #symmetry
- Symmetric Space-Bounded Computation (HRL, CHP), pp. 374–384.
- POPL-1977-Lewis #equivalence #problem
- The Equivalence Problem for Program Schemata with Nonintersecting Loops (HRL), pp. 253–266.
- POPL-1977-ReifL #evaluation #graph #symbolic computation
- Symbolic Evaluation and the Global Value Graph (JHR, HRL), pp. 104–118.