Denis Lugiez

Latest

• XML schema, tree logic and sheaves automata
• A Logic you Can Count On
• XML Schema, Tree Logic and Sheaves Automata
• Multitrees Automata, Presburger's Constraints and Tree Logics