{"_id":"h2x2oWuxtdrMEAwX6","bibbaseid":"bergstra-mauw-wiedijk-uniformalgebraicspecificationsoffinitesetswithequality-1991","author_short":["Bergstra, J. A.","Mauw, S.","Wiedijk, F."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Jan","A."],"propositions":[],"lastnames":["Bergstra"],"suffixes":[]},{"firstnames":["S."],"propositions":[],"lastnames":["Mauw"],"suffixes":[]},{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"date-added":"2014-11-15 22:11:27 +0000","date-modified":"2014-11-15 22:14:08 +0000","journal":"International Journal of Foundations of Computer Science","number":"2","pages":"43–65","title":"Uniform algebraic specifications of finite sets with equality","volume":"1","year":"1991","bibtex":"@article{freek1991a,\n\tAuthor = {Jan A. Bergstra and S. Mauw and Freek Wiedijk},\n\tDate-Added = {2014-11-15 22:11:27 +0000},\n\tDate-Modified = {2014-11-15 22:14:08 +0000},\n\tJournal = {International Journal of Foundations of Computer Science},\n\tNumber = {2},\n\tPages = {43--65},\n\tTitle = {Uniform algebraic specifications of finite sets with equality},\n\tVolume = {1},\n\tYear = {1991}}\n\n","author_short":["Bergstra, J. A.","Mauw, S.","Wiedijk, F."],"key":"freek1991a","id":"freek1991a","bibbaseid":"bergstra-mauw-wiedijk-uniformalgebraicspecificationsoffinitesetswithequality-1991","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":[],"search_terms":["uniform","algebraic","specifications","finite","sets","equality","bergstra","mauw","wiedijk"],"title":"Uniform algebraic specifications of finite sets with equality","year":1991}