On the equivalence of recursive and nonrecursive datalog programs
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Regular expression types for XML
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Regular expression pattern matching for XML
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM SIGMOD Record
Containment for XPath Fragments under DTD Constraints
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Typechecking Top-Down Uniform Unranked Tree Transducers
ICDT '03 Proceedings of the 9th International Conference on Database Theory
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
View-Based Query Answering and Query Containment over Semistructured Data
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Typechecking for Semistructured Data
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
XDuce: A statically typed XML processing language
ACM Transactions on Internet Technology (TOIT)
E-services: a look behind the curtain
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A gap property of deterministic tree languages
Theoretical Computer Science - Logic and complexity in computer science
Regular expression pattern matching for XML
Journal of Functional Programming
A new decidability technique for ground term rewriting systems with applications
ACM Transactions on Computational Logic (TOCL)
Regular expression types for XML
ACM Transactions on Programming Languages and Systems (TOPLAS)
XML data exchange: consistency and query answering
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On the complexity of typechecking top-down XML transformations
Theoretical Computer Science - Database theory
Characterizing EF and EX tree logics
Theoretical Computer Science - Concurrency theory (CONCUR 2004)
Expressiveness and complexity of XML Schema
ACM Transactions on Database Systems (TODS)
Journal of Computer and System Sciences
On the minimization of XML Schemas and tree automata for unranked trees
Journal of Computer and System Sciences
Weighted tree automata and weighted logics
Theoretical Computer Science
Simple off the shelf abstractions for XML schema
ACM SIGMOD Record
Third-order Idealized Algol with iteration is decidable
Theoretical Computer Science
XML data exchange: Consistency and query answering
Journal of the ACM (JACM)
Information and Computation
Efficient Inclusion Checking for Deterministic Tree Automata and DTDs
Language and Automata Theory and Applications
Minimizing Deterministic Weighted Tree Automata
Language and Automata Theory and Applications
Learning deterministically recognizable tree series
Journal of Automata, Languages and Combinatorics
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Efficient inclusion checking for deterministic tree automata and XML Schemas
Information and Computation
Minimizing deterministic weighted tree automata
Information and Computation
Definable transductions and weighted logics for texts
Theoretical Computer Science
Complexity results on balanced context-free languages
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
XML schema containment checking based on semi-implicit techniques
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
Simplifying XML schema: single-type approximations of regular tree languages
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Rewrite-based verification of XML updates
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
Extending type systems in a library: Type-safe XML processing in C++
Science of Computer Programming
Generating, sampling and counting subclasses of regular tree languages
Proceedings of the 14th International Conference on Database Theory
Journal of Computer and System Sciences
A fragment of ML decidable by visibly pushdown automata
ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II
CIAA'11 Proceedings of the 16th international conference on Implementation and application of automata
Optimizing schema languages for XML: numerical constraints and interleaving
ICDT'07 Proceedings of the 11th international conference on Database Theory
Minimizing tree automata for unranked trees
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
Reasoning about Co-Büchi tree automata
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Which XML schemas admit 1-pass preorder typing?
ICDT'05 Proceedings of the 10th international conference on Database Theory
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
Third-order idealized algol with iteration is decidable
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Equivalence and inclusion problem for strongly unambiguous büchi automata
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
Non-backtracking top-down algorithm for checking tree automata containment
CIAA'05 Proceedings of the 10th international conference on Implementation and Application of Automata
Efficient inclusion testing for simple classes of unambiguous ω-automata
Information Processing Letters
Deciding twig-definability of node selecting tree automata
Proceedings of the 15th International Conference on Database Theory
Bounded repairability for regular tree languages
Proceedings of the 15th International Conference on Database Theory
Visibly pushdown automata with multiplicities: finiteness and k-boundedness
DLT'12 Proceedings of the 16th international conference on Developments in Language Theory
Regular languages of nested words: fixed points, automata, and synchronization
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
Discovering XSD keys from XML data
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
Simplifying XML Schema: Single-type approximations of regular tree languages
Journal of Computer and System Sciences
Quantitative Monadic Second-Order Logic
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 0.00 |