Travelled to:
1 × Austria
1 × Finland
2 × USA
Collaborated with:
C.Bergman T.Kamimura A.Pnueli J.H.Leuchner L.Miller J.Engelfriet G.Rozenberg
Talks about:
problem (2) depend (2) hierarchi (1) congruenc (1) algorithm (1) transduc (1) polynomi (1) function (1) program (1) complex (1)
Person: Giora Slutzki
DBLP: Slutzki:Giora
Contributed to:
Wrote 5 papers:
- LICS-2000-BergmanS #algebra #complexity #problem
- Computational Complexity of Some Problems Involving Congruences on Algebras (CB, GS), pp. 168–174.
- SIGMOD-1988-LeuchnerMS #algorithm #dependence #functional #polynomial #testing
- A Polynomial Time Algorithm for Testing Implications of a Join Dependency and Embodied Functional Dependencies (JHL, LM, GS), pp. 218–224.
- ICALP-1979-KamimuraS #graph
- DAGs and Chomsky Hierarchy (TK, GS), pp. 331–337.
- STOC-1978-EngelfrietRS #transducer
- Tree Transducers, L Systems and Two-Way Machines (JE, GR, GS), pp. 66–74.
- ICALP-1977-PnueliS #problem #source code
- Simple Programs and Their Decision Problems (AP, GS), pp. 380–390.