Resolution Proof Systems

An Algebraic Theory

Autor*innen

• Z. Stachniak

Parameter

• 228 Seiten
• 8 Lesestunden

• Mathematik

Mehr zum Buch

The book presents an in-depth exploration of resolution proof systems through an algebraic lens. It delves into the theoretical foundations and offers a comprehensive analysis of various proof techniques. Key concepts include the relationship between algebraic structures and computational complexity, providing insights into the efficiency of proof systems. The work is aimed at researchers and students in mathematical logic and computer science, highlighting both foundational theories and practical implications in the field of automated reasoning.

• Sprache: Englisch
• Erscheinungsdatum: 2011
• Einband: Paperback