Algorithmic Design Using Object-Z for Twig XML Queries Evaluation. 0003, Y. L. & 0001, J. S. Electr. Notes Theor. Comput. Sci. (ENTCS), 151(2):107-124, 2006. Paper bibtex @article{ dblp3195339,
title = {Algorithmic Design Using Object-Z for Twig XML Queries Evaluation},
author = {Yang Liu 0003 and Jun Sun 0001},
author_short = {Liu 0003, Y. and Sun 0001, J.},
bibtype = {article},
type = {article},
year = {2006},
key = {dblp3195339},
id = {dblp3195339},
biburl = {http://www.dblp.org/rec/bibtex/journals/entcs/LiuS06},
url = {http://dx.doi.org/10.1016/j.entcs.2005.07.039},
journal = {Electr. Notes Theor. Comput. Sci. (ENTCS)},
pages = {107-124},
number = {2},
volume = {151},
text = {Electr. Notes Theor. Comput. Sci. (ENTCS) 151(2):107-124 (2006)}
}
Downloads: 0
{"_id":"oFcDWmT5wRouiACE7","authorIDs":["54cf2b4491c843ab6e000476"],"author_short":["0003, Y.<nbsp>L.","0001, J.<nbsp>S."],"bibbaseid":"0003-0001-algorithmicdesignusingobjectzfortwigxmlqueriesevaluation-2006","bibdata":{"author":["0003, Yang Liu","0001, Jun Sun"],"author_short":["0003, Y.<nbsp>L.","0001, J.<nbsp>S."],"bibtex":"@article{ dblp3195339,\n title = {Algorithmic Design Using Object-Z for Twig XML Queries Evaluation},\n author = {Yang Liu 0003 and Jun Sun 0001},\n author_short = {Liu 0003, Y. and Sun 0001, J.},\n bibtype = {article},\n type = {article},\n year = {2006},\n key = {dblp3195339},\n id = {dblp3195339},\n biburl = {http://www.dblp.org/rec/bibtex/journals/entcs/LiuS06},\n url = {http://dx.doi.org/10.1016/j.entcs.2005.07.039},\n journal = {Electr. Notes Theor. Comput. Sci. (ENTCS)},\n pages = {107-124},\n number = {2},\n volume = {151},\n text = {Electr. Notes Theor. Comput. Sci. (ENTCS) 151(2):107-124 (2006)}\n}","bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/entcs/LiuS06","id":"dblp3195339","journal":"Electr. Notes Theor. Comput. Sci. (ENTCS)","key":"dblp3195339","number":"2","pages":"107-124","text":"Electr. Notes Theor. Comput. Sci. (ENTCS) 151(2):107-124 (2006)","title":"Algorithmic Design Using Object-Z for Twig XML Queries Evaluation","type":"article","url":"http://dx.doi.org/10.1016/j.entcs.2005.07.039","volume":"151","year":"2006","bibbaseid":"0003-0001-algorithmicdesignusingobjectzfortwigxmlqueriesevaluation-2006","role":"author","urls":{"Paper":"http://dx.doi.org/10.1016/j.entcs.2005.07.039"},"downloads":0},"bibtype":"article","biburl":"http://people.sutd.edu.sg/~sunjun/Publications/download.bib","creationDate":"2015-02-02T07:46:13.387Z","downloads":0,"keywords":[],"search_terms":["algorithmic","design","using","object","twig","xml","queries","evaluation","0003","0001"],"title":"Algorithmic Design Using Object-Z for Twig XML Queries Evaluation","year":2006,"dataSources":["ZtcgqYKBLHt2gfuHW"]}