BibTeX record conf/adt/Kaplan84

• > Home > conf/adt/Kaplan84

@inproceedings{DBLP:conf/adt/Kaplan84,
  author       = {St{\'{e}}phane Kaplan},
  editor       = {Hans{-}J{\"{o}}rg Kreowski},
  title        = {Fair Conditional Term Rewriting Systems: Unification, Termination,
                  and Confluence},
  booktitle    = {Recent Trends in Data Type Specification, 3rd Workshop on Theory and
                  Applications of Abstract Data Types, Bremen, Germany, November 13-16,
                  1984, Selected Papers},
  series       = {Informatik-Fachberichte},
  volume       = {116},
  pages        = {136--155},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/978-3-662-09691-8\_11},
  doi          = {10.1007/978-3-662-09691-8\_11},
  timestamp    = {Mon, 18 Jun 2018 21:21:13 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/Kaplan84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}