{"_id":"DBBynBnCzdbb8jfDo","bibbaseid":"aceto-frisogroote-acompleteequationalaxiomatizationformpawithstringiteration-1999","downloads":0,"creationDate":"2016-02-18T15:10:12.500Z","title":"A Complete Equational Axiomatization for MPA with String Iteration","author_short":["Aceto, L.","Friso Groote, J."],"year":1999,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/tcs/AcetoG99","bibdata":{"title":"A Complete Equational Axiomatization for MPA with String Iteration","author":["Luca Aceto","Jan Friso Groote"],"author_short":["Aceto, L.","Friso Groote, J."],"bibtype":"article","type":"article","year":"1999","key":"dblp4460406","id":"dblp4460406","biburl":"http://www.dblp.org/rec/bibtex/journals/tcs/AcetoG99","url":"http://dx.doi.org/10.1016/S0304-3975(97)00182-5","journal":"Theor. Comput. Sci. (TCS)","pages":"339-374","number":"1-2","volume":"211","text":"Theor. Comput. Sci. (TCS) 211(1-2):339-374 (1999)","bibtex":"@article{ dblp4460406,\n title = {A Complete Equational Axiomatization for MPA with String Iteration},\n author = {Luca Aceto and Jan Friso Groote},\n author_short = {Aceto, L. and Friso Groote, J.},\n bibtype = {article},\n type = {article},\n year = {1999},\n key = {dblp4460406},\n id = {dblp4460406},\n biburl = {http://www.dblp.org/rec/bibtex/journals/tcs/AcetoG99},\n url = {http://dx.doi.org/10.1016/S0304-3975(97)00182-5},\n journal = {Theor. Comput. Sci. (TCS)},\n pages = {339-374},\n number = {1-2},\n volume = {211},\n text = {Theor. Comput. Sci. (TCS) 211(1-2):339-374 (1999)}\n}","bibbaseid":"aceto-frisogroote-acompleteequationalaxiomatizationformpawithstringiteration-1999","role":"author","urls":{"Paper":"http://dx.doi.org/10.1016/S0304-3975(97)00182-5"},"downloads":0},"search_terms":["complete","equational","axiomatization","mpa","string","iteration","aceto","friso groote"],"keywords":[],"authorIDs":[],"dataSources":["dthuSHFG7PwHj5qJJ"]}