Typed functional query languages with equational specifications. Pu, K. Q. & Mendelzon, A. O. In Proceedings of the 2005 ACM CIKM International Conference on Information and Knowledge Management, Bremen, Germany, October 31 - November 5, 2005, pages 233-234, 2005. ![Typed functional query languages with equational specifications [link]](https://bibbase.org/img/filetypes/link.svg "link")
Link bibtex @inproceedings{ DBLP:conf/cikm/PuM05,
author = {Ken Q. Pu and Alberto O. Mendelzon},
title = {Typed functional query languages with equational specifications},
booktitle = {Proceedings of the 2005 ACM CIKM International Conference on Information and Knowledge Management, Bremen, Germany, October 31 - November 5, 2005},
pages = {233-234},
ee = {http://doi.acm.org/10.1145/1099554.1099603} ,
year = {2005}
}
Downloads: 0
{"_id":{"_str":"51f603db59ced8df4400004b"},"__v":24,"authorIDs":["545745772abc8e9f37000244","54a9e2009be3f3aa0c000b34"],"author_short":["Pu, K. Q.","Mendelzon, A. O."],"bibbaseid":"pu-mendelzon-typedfunctionalquerylanguageswithequationalspecifications-2005","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ken","Q."],"propositions":[],"lastnames":["Pu"],"suffixes":[]},{"firstnames":["Alberto","O."],"propositions":[],"lastnames":["Mendelzon"],"suffixes":[]}],"title":"Typed functional query languages with equational specifications","booktitle":"Proceedings of the 2005 ACM CIKM International Conference on Information and Knowledge Management, Bremen, Germany, October 31 - November 5, 2005","pages":"233-234","ee":"http://doi.acm.org/10.1145/1099554.1099603","year":"2005","bibtex":"@inproceedings{ DBLP:conf/cikm/PuM05,\n author = {Ken Q. Pu and Alberto O. Mendelzon},\n title = {Typed functional query languages with equational specifications},\n booktitle = {Proceedings of the 2005 ACM CIKM International Conference on Information and Knowledge Management, Bremen, Germany, October 31 - November 5, 2005},\n pages = {233-234},\n ee = {http://doi.acm.org/10.1145/1099554.1099603} ,\n year = {2005}\n}\n\n\n","author_short":["Pu, K. Q.","Mendelzon, A. O."],"key":"DBLP:conf/cikm/PuM05","id":"DBLP:conf/cikm/PuM05","bibbaseid":"pu-mendelzon-typedfunctionalquerylanguageswithequationalspecifications-2005","role":"author","urls":{"Link":"http://doi.acm.org/10.1145/1099554.1099603"},"downloads":0},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/author/ken-q-pu/?format=bibtex","downloads":0,"keywords":[],"search_terms":["typed","functional","query","languages","equational","specifications","pu","mendelzon"],"title":"Typed functional query languages with equational specifications","title_words":["typed","functional","query","languages","equational","specifications"],"year":2005,"dataSources":["EeFicwT7KarYHcuQn"]}