Advanced Topics in Term Rewriting, Fachbücher von Enno Ohlebusch
"Advanced Topics in Term Rewriting" ist ein Fachbuch, das sich mit den Techniken des Term Rewriting befasst, die in verschied... Mehr erfahren
Finde die besten Angebote
Bester Preis26 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
"Advanced Topics in Term Rewriting" ist ein Fachbuch, das sich mit den Techniken des Term Rewriting befasst, die in verschiedenen Bereichen der Informatik Anwendung finden. Dazu gehören Software Engineering, Programmiersprachen, Computer Algebra, Programmverifikation, automatisches Theorembeweisen und Algebra. Das Buch bietet eine umfassende Analyse der Konzepte von Termination und Konfluenz sowie deren verwandten Eigenschaften. Es beleuchtet die Herausforderungen, die bei der Charakterisierung von Rewrite-Systemen auftreten, die wünschenswerte Eigenschaften wie Konfluenz oder Termination aufweisen. Die behandelten Themen sind von zentraler Bedeutung für die Entwicklung effizienter Methoden zur Argumentation mit Gleichungen und bieten wertvolle Einblicke in die theoretischen Grundlagen und praktischen Anwendungen der Term Rewriting-Techniken.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer