Adhesivitiy is not enough: Local Church-Rosser revisited (bibtex)

by Paolo Baldan, Fabio Gadducci and Paweł Sobociński

Reference:

Paolo Baldan, Fabio Gadducci and Paweł 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 = {Paolo Baldan and Fabio Gadducci and Pawe{\l} 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}
}