Vincent Hugot

Available identifiers

zbMath Open hugot.vincentMaRDI QIDQ442146

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4995369	2021-06-24	Paper
Logics for unordered trees with data constraints	2019-06-25	Paper
Equivalence of symbolic tree transducers	2017-10-13	Paper
Automata for unordered trees	2017-03-16	Paper
The emptiness problem for tree automata with at least one global disequality constraint is NP-hard	2016-11-23	Paper
Logics for Unordered Trees with Data Constraints on Siblings	2016-04-08	Paper
On Positive TAGED with a Bounded Number of Constraints	2012-09-20	Paper
From Linear Temporal Logic Properties to Rewrite Propositions	2012-09-05	Paper
Loops and overloops for tree-walking automata	2012-08-09	Paper
Loops and Overloops for Tree Walking Automata	2011-07-29	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Vincent Hugot