DMCA

LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions

Cached

Download Links

by Ping Hou , Johan Wittocx , Marc Denecker