A Complete Equational Axiomatization for MPA with String Iteration. Aceto, L. and Friso Groote, J. Theor. Comput. Sci. (TCS), 211(1-2):339-374, 1999.
A Complete Equational Axiomatization for MPA with String Iteration [link]Paper  bibtex   
@article{ dblp4460406,
  title = {A Complete Equational Axiomatization for MPA with String Iteration},
  author = {Luca Aceto and Jan Friso Groote},
  author_short = {Aceto, L. and 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)}
}
Downloads: 0