%0 Conference Paper %1 conf/esop/CastagnaI0B15 %A Castagna, Giuseppe %A Im, Hyeonseung %A Nguyen, Kim %A Benzaken, Véronique %B ESOP %D 2015 %E Vitek, Jan %I Springer %K dblp %P 232-256 %T A Core Calculus for XQuery 3.0 - Combining Navigational and Pattern Matching Approaches. %U http://dblp.uni-trier.de/db/conf/esop/esop2015.html#CastagnaI0B15 %V 9032 %@ 978-3-662-46668-1

@inproceedings{conf/esop/CastagnaI0B15, added-at = {2019-09-25T00:00:00.000+0200}, author = {Castagna, Giuseppe and Im, Hyeonseung and Nguyen, Kim and Benzaken, Véronique}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f2d8b291d10d3ff36f9dad4334c34b7e/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2015}, editor = {Vitek, Jan}, ee = {https://doi.org/10.1007/978-3-662-46669-8_10}, interhash = {fac7aabc1f15c38e25eaa88c19d5cb69}, intrahash = {f2d8b291d10d3ff36f9dad4334c34b7e}, isbn = {978-3-662-46668-1}, keywords = {dblp}, pages = {232-256}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T14:30:25.000+0200}, title = {A Core Calculus for XQuery 3.0 - Combining Navigational and Pattern Matching Approaches.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2015.html#CastagnaI0B15}, volume = 9032, year = 2015 }