BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Hugot:Vincent

Contributed to:

LATA 20152015
CIAA 20122012
IJCAR 20122012
CIAA 20112011

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.