Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-40257
Titel: Boolean Algebra Admits No Convergent Term Rewriting System
VerfasserIn: Socher-Ambrosius, Rolf
Sprache: Englisch
Erscheinungsjahr: 1990
Erscheinungsort: Kaiserslautern
Freie Schlagwörter: Boolean Algebra
Term Rewriting
Automated Theorem Proving
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
Abstract: Although there exists a normal form for boolean algebra terms, the so called set of prime implicants, there does not exist a convergent term rewriting system for the theory of boolean algebra. The result seems well-known, but no formal proof exists as yet. In this paper a formal proof of this fact is given.
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-402577
hdl:20.500.11880/37665
http://dx.doi.org/10.22028/D291-40257
Schriftenreihe: SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447]
Band: 90,6
Datum des Eintrags: 17-Mai-2024
Fakultät: SE - Sonstige Einrichtungen
Fachrichtung: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Professur: SE - Sonstige
Sammlung:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Dateien zu diesem Datensatz:
Datei Beschreibung GrößeFormat 
SEKI-Report-SR-90-06_Socher=Ambrosius_Boolean-Algebra-Admits-No-Convergent-Term-Rewriting-System.pdf2,91 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.