%0 Conference Paper %1 conf/rta/Dal-ZilioL03 %A Dal-Zilio, Silvano %A Lugiez, Denis %B RTA %D 2003 %E Nieuwenhuis, Robert %I Springer %K %P 246-263 %T XML Schema, Tree Logic and Sheaves Automata. %U http://dblp.uni-trier.de/db/conf/rta/rta2003.html#Dal-ZilioL03 %V 2706 %@ 3-540-40254-3

@inproceedings{conf/rta/Dal-ZilioL03, added-at = {2023-12-13T06:48:15.000+0100}, author = {Dal-Zilio, Silvano and Lugiez, Denis}, biburl = {https://www.bibsonomy.org/bibtex/251897b194f8a7b730aa67b02ddaa2a1c/admin}, booktitle = {RTA}, crossref = {conf/rta/2003}, editor = {Nieuwenhuis, Robert}, ee = {https://doi.org/10.1007/3-540-44881-0_18}, interhash = {b1e570fd3586cdfda8bd6f8d123cf8a7}, intrahash = {51897b194f8a7b730aa67b02ddaa2a1c}, isbn = {3-540-40254-3}, keywords = {}, pages = {246-263}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T06:48:15.000+0100}, title = {XML Schema, Tree Logic and Sheaves Automata.}, url = {http://dblp.uni-trier.de/db/conf/rta/rta2003.html#Dal-ZilioL03}, volume = 2706, year = 2003 }