Bounded Proofs and Step Frames

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/978-3-642-40537-2_6 ◽

2013 ◽

pp. 44-58 ◽

Cited By ~ 2

Author(s):

Nick Bezhanishvili ◽

Silvio Ghilardi

Download Full-text