Resolution Proof Systems

An Algebraic Theory

Autori

• Z. Stachniak

Parametri

• 228 pagine
• 8 ore di lettura

• Matematica

Maggiori informazioni sul libro

Focusing on the interplay between algebra and logic, this book presents a comprehensive exploration of resolution proof systems. It delves into the algebraic foundations that underpin these systems, offering insights into their structure and functionality. The author discusses various algebraic techniques and their applications in enhancing the efficiency of proof systems, making the content accessible to both researchers and students in computer science and mathematical logic. The work aims to bridge theoretical concepts with practical implications in the field of automated reasoning.

Lingua: Inglese

Pubblicato: 1996

(Copertina rigida)