BibTeX record conf/issac/KuhnMO90

• > Home > conf/issac/KuhnMO90

@inproceedings{DBLP:conf/issac/KuhnMO90,
  author       = {Norbert Kuhn and
                  Klaus Madlener and
                  Friedrich Otto},
  editor       = {Shunro Watanabe and
                  Morio Nagata},
  title        = {A Test for lambda-Confluence for Certain Prefix Rewriting Systems
                  with Applications to the Generalized Word Problem},
  booktitle    = {Proceedings of the International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '90, Tokyo, Japan, August 20-24, 1990},
  pages        = {8--15},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/96877.96882},
  doi          = {10.1145/96877.96882},
  timestamp    = {Tue, 06 Nov 2018 16:57:05 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/KuhnMO90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}