Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Wim Martens
Deciding Twig-Definability of Node Selecting Tree Automata
Theory of Computing Systems
Computational Theory
Theoretical Computer Science
Mathematics
Generating, Sampling and Counting Subclasses of Regular Tree Languages
Theory of Computing Systems
Computational Theory
Theoretical Computer Science
Mathematics
Deciding Definability by Deterministic Regular Expressions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
30 Years of PODS in Facts and Figures
SIGMOD Record
Information Systems
Software
Typechecking Top-Down XML Transformations: Fixed Input or Output Schemas
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Frontiers of Tractability for Typechecking Simple XML Transformations