Weak Inclusion for Recursive XML Types

DOI10.1007/978-3-642-31606-7_7zbMath1297.68106OpenAlexW205728804MaRDI QIDQ2914696

Jacques Chabin, Pierre Réty, Joshua Amavi

Publication date: 20 September 2012

Published in: Implementation and Application of Automata (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31606-7_7

zbMATH Keywords

approximative inclusionregular unranked-tree grammarXML type

Mathematics Subject Classification ID

Database theory (68P15) Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42) Internet topics (68M11)

This page was built for publication: Weak Inclusion for Recursive XML Types