A Noetherian Rewrite System for Idempotent Semigroups

Jörg H. Siekmann, Peter Szabó. A Noetherian Rewrite System for Idempotent Semigroups. In Jörg H. Siekmann, editor, GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, January 26-31, 1981, Proceedings. Volume 47 of Informatik-Fachberichte, pages 235-245, Springer, 1981.

@inproceedings{SiekmannS81a,
  title = {A Noetherian Rewrite System for Idempotent Semigroups},
  author = {Jörg H. Siekmann and Peter Szabó},
  year = {1981},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/SiekmannS81a},
  cites = {0},
  citedby = {0},
  pages = {235-245},
  booktitle = {GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, January 26-31, 1981, Proceedings},
  editor = {Jörg H. Siekmann},
  volume = {47},
  series = {Informatik-Fachberichte},
  publisher = {Springer},
  isbn = {3-540-10859-9},
}