BibTeX records: Hans-Josef Jeanrond

• > Home > Persons > Hans-Josef Jeanrond

@inproceedings{DBLP:conf/cade/Jeanrond80,
  author       = {Hans{-}Josef Jeanrond},
  editor       = {Wolfgang Bibel and
                  Robert A. Kowalski},
  title        = {Deciding Unique Termination of Permutative Rewriting Systems: Choose
                  Your Term Algebra Carefully},
  booktitle    = {5th Conference on Automated Deduction, Les Arcs, France, July 8-11,
                  1980, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {87},
  pages        = {335--355},
  publisher    = {Springer},
  year         = {1980},
  url          = {https://doi.org/10.1007/3-540-10009-1\_26},
  doi          = {10.1007/3-540-10009-1\_26},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Jeanrond80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gi/JeanrondKS80,
  author       = {Hans{-}Josef Jeanrond and
                  M. R. King and
                  N. H. Shelness},
  editor       = {Reinhard Wilhelm},
  title        = {A Segment-Flow Model of Distributed Computing},
  booktitle    = {{GI} - 10. Jahrestagung, Saarbr{\"{u}}cken, 30. September - 2.
                  Oktober 1980, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {33},
  pages        = {555},
  publisher    = {Springer},
  year         = {1980},
  url          = {https://doi.org/10.1007/978-3-642-67838-7\_71},
  doi          = {10.1007/978-3-642-67838-7\_71},
  timestamp    = {Tue, 23 May 2017 01:10:33 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/JeanrondKS80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Jeanrond79,
  author       = {Hans{-}Josef Jeanrond},
  editor       = {Hermann A. Maurer},
  title        = {A Unique Termination Theorem for a Theory with Generalised Commutative
                  Axioms},
  booktitle    = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
                  July 16-20, 1979, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {71},
  pages        = {316--330},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-09510-1\_25},
  doi          = {10.1007/3-540-09510-1\_25},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Jeanrond79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}