Advanced Topics in Term Rewriting

Autori

• Enno Ohlebusch

Parametri

• 432 pagine
• 16 ore di lettura

• Computer, IT, programmazione

Maggiori informazioni sul libro

Focusing on the theoretical foundations of term rewriting, this book explores its diverse applications across computer science and mathematics, including software engineering, programming languages, and automated theorem proving. It delves into the critical concepts of confluence and termination, essential for ensuring unique outcomes in rewrite systems. By addressing the challenges of characterizing rewrite systems with these properties, the text offers an in-depth analysis of efficient reasoning methods for equations, making it a valuable resource for researchers and practitioners alike.

Lingua: Inglese

Pubblicato: 2010

(In brossura)