Adhesivitiy is not enough: Local Church-Rosser revisited (bibtex)
by P. Baldan, F. Gadducci and P. Sobociński
Reference:
P. Baldan, F. Gadducci and P. Sobociński, "Adhesivitiy is not enough: Local Church-Rosser revisited", In Mathematical Foundations of Computer Science (MFCS `11), Springer, vol. 6907, pp. 48–59, 2011.
Bibtex Entry:
@string{lncs="LNCS"}
@INPROCEEDINGS{Baldan2011,
  author = {P. Baldan and F. Gadducci and P. Soboci{\'n}ski},
  title = {Adhesivitiy is not enough: Local {Church}-{Rosser} revisited},
  booktitle = {Mathematical Foundations of Computer Science ({MFCS `11})},
  year = {2011},
  volume = {6907},
  series = {LNCS},
  pages = {48--59},
  publisher = {Springer},
  timestamp = {17.05.11}
}
Powered by bibtexbrowser