Travelled to:1 × Israel
2 × USA
Collaborated with:O.H.Ibarra
Talks about:problem (3) complex (2) machin (2) semilinear (1) multicount (1) theoret (1) program (1) equival (1) counter (1) complet (1)
Person: Eitan M. Gurari
DBLP: Gurari:Eitan_M=
Contributed to:
1981
19791978Wrote 3 papers:
- ICALP-1981-GurariI #complexity #multi #problem
- The Complexity of Decision Problems for Finite-Turn Multicounter Machines (EMG, OHI), pp. 495–505.
- STOC-1979-GurariI #complexity #equivalence #linear #problem #set #source code
- The Complexity of the Equivalence Problem for Counter Machines, Semilinear Sets, and Simple Programs (EMG, OHI), pp. 142–152.
- STOC-1978-GurariI #problem
- An NP-Complete Number-Theoretic Problem (EMG, OHI), pp. 205–215.