Preserving Regularity via Logic Programs

Proving Regularity Preservation of Term Rewrite Systemswith Logic Programming Techniques (Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
This book is concerned with the presentation of a general translation of termrewrite systems to logic programs such that basic rewriting derivations become logicdeductions. In particular, this work is a review of a recent research paper on this verysubject...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 15410524

Buch50.40
Jetzt vorbestellen
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 15410524

Buch50.40
Jetzt vorbestellen
This book is concerned with the presentation of a general translation of termrewrite systems to logic programs such that basic rewriting derivations become logicdeductions. In particular, this work is a review of a recent research paper on this verysubject...

Kommentar zu "Preserving Regularity via Logic Programs"

Andere Kunden kauften auch

Weitere Empfehlungen zu „Preserving Regularity via Logic Programs “

Weitere Artikel zum Thema
  • Kauf auf Rechnung
  • Kostenlose Rücksendung