Uneingeschränkter Zugang

Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm

Grzegorz Bancerek

Grzegorz Bancerek

Suche nach diesem Autor auf
Sciendo|Google Scholar
Bancerek, Grzegorz
  
30. März 2014
Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm's Cover Image
Über diesen Artikel
Vorheriger Artikel
Nächster Artikel
Zitieren
COVER HERUNTERLADEN
Online veröffentlicht: 30. März 2014
Seitenbereich: 37 - 56
DOI: https://doi.org/10.2478/forma-2014-0005
Schlüsselwörter
© by Grzegorz Bancerek
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License. (CC BY-SA 3.0)
Sprache:
Englisch
Zeitrahmen der Veröffentlichung:
1 Hefte pro Jahr
Fachgebiete der Zeitschrift:
Informatik, Informatik, andere, Mathematik, Mathematik, Allgemeines
Zeitschrift RSS Feed