Travelled to:
1 × Germany
Collaborated with:
F.Bossut A.Caron
Talks about:
transduc (2) letter (2) tree (2) properti (1) solvabl (1) regular (1) problem (1) equival (1) bounded (1) differ (1)
Person: Yves Andre
DBLP: Andre:Yves
Contributed to:
Wrote 3 papers:
- DLT-1999-AndreBC #bound #decidability #on the #query
- On decidability of boundedness property for regular path queries (YA, FB, ACC), pp. 245–256.
- TAPSOFT-1995-AndreB #bottom-up #equivalence #problem #transducer
- The Equivalence Problem for Letter-to-Letter Bottom-up Tree Transducers is Solvable (YA, FB), pp. 155–171.
- TAPSOFT-1997-AndreB #bound #difference #transducer
- Word-into-Tree Transducers with Bounded Difference (YA, FB), pp. 177–188.