A Single-Sorted Theory of Multisets. Dang, H. Notre Dame Journal of Formal Logic (NDJFL), 55(3):299-332, 2014. Paper bibtex @article{ dblp1832035,
title = {A Single-Sorted Theory of Multisets},
author = {Hoang-Vu Dang},
author_short = {Dang, H.},
bibtype = {article},
type = {article},
year = {2014},
key = {dblp1832035},
id = {dblp1832035},
biburl = {http://www.dblp.org/rec/bibtex/journals/ndjfl/Dang14},
url = {http://dx.doi.org/10.1215/00294527-2688042},
journal = {Notre Dame Journal of Formal Logic (NDJFL)},
pages = {299-332},
number = {3},
volume = {55},
text = {Notre Dame Journal of Formal Logic (NDJFL) 55(3):299-332 (2014)}
}
Downloads: 0
{"_id":"RJKWGzd3ctP7NDciD","bibbaseid":"dang-asinglesortedtheoryofmultisets-2014","downloads":0,"creationDate":"2015-06-12T22:13:32.857Z","title":"A Single-Sorted Theory of Multisets","author_short":["Dang, H."],"year":2014,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/ndjfl/Dang14","bibdata":{"title":"A Single-Sorted Theory of Multisets","author":["Hoang-Vu Dang"],"author_short":["Dang, H."],"bibtype":"article","type":"article","year":"2014","key":"dblp1832035","id":"dblp1832035","biburl":"http://www.dblp.org/rec/bibtex/journals/ndjfl/Dang14","url":"http://dx.doi.org/10.1215/00294527-2688042","journal":"Notre Dame Journal of Formal Logic (NDJFL)","pages":"299-332","number":"3","volume":"55","text":"Notre Dame Journal of Formal Logic (NDJFL) 55(3):299-332 (2014)","bibtex":"@article{ dblp1832035,\n title = {A Single-Sorted Theory of Multisets},\n author = {Hoang-Vu Dang},\n author_short = {Dang, H.},\n bibtype = {article},\n type = {article},\n year = {2014},\n key = {dblp1832035},\n id = {dblp1832035},\n biburl = {http://www.dblp.org/rec/bibtex/journals/ndjfl/Dang14},\n url = {http://dx.doi.org/10.1215/00294527-2688042},\n journal = {Notre Dame Journal of Formal Logic (NDJFL)},\n pages = {299-332},\n number = {3},\n volume = {55},\n text = {Notre Dame Journal of Formal Logic (NDJFL) 55(3):299-332 (2014)}\n}","bibbaseid":"dang-asinglesortedtheoryofmultisets-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1215/00294527-2688042"},"downloads":0},"search_terms":["single","sorted","theory","multisets","dang"],"keywords":[],"authorIDs":[],"dataSources":["AxQexrbw2hk9KZret"]}