Paramodulation and the Branching Reduction Theorem for the U8 Logic system

2026 Open access

Read full text
Authors: Graeme Heald
DOI: 10.13140/rg.2.2.36669.32489
Cited by: 0

Fields of Study & Subjects

Stochastic processes and statistical mechanics Advanced Algebra and Logic Complexity and Algorithms in Graphs

Publication details

Publication date
1 January 2026
Language
EN