Buscar
Mostrando ítems 1-8 de 8
Theorem Proving Modulo Based on Boolean Equational Procedures
(Springer, 2008)
Deduction with inference rules modulo computation rules plays an important role in automated deduction as an effective method for scaling up. We present four equational theories that are isomorphic to the traditional Boolean ...