Travelled to:1 × Portugal
1 × United Kingdom
2 × France
Collaborated with:P.Héam O.Kouchnarenko A.Boiret J.Niehren R.Treinen
Talks about:constraint (2) logic (2) tree (2) proposit (1) properti (1) overloop (1) automata (1) tempor (1) rewrit (1) number (1)
Person: Vincent Hugot
DBLP: Hugot:Vincent
Contributed to:
2015
2012
20122011Wrote 4 papers:
- LATA-2015-BoiretHNT #constraints #logic
- Logics for Unordered Trees with Data Constraints on Siblings (AB, VH, JN, RT), pp. 175–187.
- CIAA-2012-HeamHK #bound #constraints #on the
- On Positive TAGED with a Bounded Number of Constraints (PCH, VH, OK), pp. 329–336.
- IJCAR-2012-HeamHK #linear #logic
- From Linear Temporal Logic Properties to Rewrite Propositions (PCH, VH, OK), pp. 316–331.
- CIAA-2011-HeamHK #automaton
- Loops and Overloops for Tree Walking Automata (PCH, VH, OK), pp. 166–177.