Travelled to:
1 × Italy
1 × USA
1 × United Kingdom
Collaborated with:
N.Bensaou ∅ L.Boasson P.Cégielski Y.Matiyasevich
Talks about:
program (2) transform (1) character (1) syntact (1) subsequ (1) problem (1) equival (1) accumul (1) window (1) system (1)
Person: Irène Guessarian
DBLP: Guessarian:Ir=egrave=ne
Contributed to:
Wrote 3 papers:
- PODS-1999-BoassonCGM #linear #problem #sequence
- Window-Accumulated Subsequence Matching Problem is Linear (LB, PC, IG, YM), pp. 327–336.
- LOPSTR-1994-BensaouG #source code
- An Extended Transformation System for CLP Programs (NB, IG), pp. 17–35.
- ICALP-1976-Guessarian #equivalence #semantics
- Semantic Equivalence of Program Schemes and its Syntactic Characterization (IG), pp. 189–200.