scientific article; zbMATH DE number 2043533

MaRDI QIDQ4447237zbMATH OpenFDO

Authors Silvano Dal Zilio, D. Lugiez

Publication date 16 February 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2706/27060246.htm

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Data structures (68P05) Automata and formal grammars in connection with logical questions (03D05)

Recommendations

• XML schema, tree logic and sheaves automata
• Foundations of XML processing. The tree-automata approach.
• scientific article; zbMATH DE number 1948151
• On the minimization of XML schemas and tree automata for unranked trees
• Nested Sibling Tree Automata

Cited in

(29)

• The DSD schema language
• Logics for unordered trees with data constraints
• Modeling the dance video semantics using regular tree automata
• Languages Modulo Normalization
• Regular Expressions with Counting: Weak versus Strong Determinism
• scientific article; zbMATH DE number 1948151 (Why is no real title available?)
• scientific article; zbMATH DE number 1950751 (Why is no real title available?)
• Efficient inclusion checking for deterministic tree automata and XML schemas
• Multitree automata that count
• Inferring a relax NG schema from XML documents
• Automata for XML -- a survey
• On the minimization of XML schemas and tree automata for unranked trees
• Streaming tree automata
• XML schema, tree logic and sheaves automata
• From tree automata to string automata minimization
• scientific article; zbMATH DE number 1942450 (Why is no real title available?)
• Complexity of modal logics with Presburger constraints
• Reasoning about XML with Temporal Logics and Automata
• Automata, Languages and Programming
• Logics for Unranked Trees: An Overview
• Reasoning about XML with temporal logics and automata
• Validating XML document adaptations via hedge automata transformations
• Schemas for unordered XML on a DIME
• A rude contract language for web services
• Boolean operations and inclusion test for attribute-element constraints
• scientific article; zbMATH DE number 1759405 (Why is no real title available?)
• Automata for unordered trees
• Automata-based static analysis of XML document adaptation
• Foundations of XML processing. The tree-automata approach.

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4447237)