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:
EdContributed to:
1990
19821981
1980
1977Wrote 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.