Canonical Constructive Systems

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

10.1007/978-3-642-02716-1_6 ◽

2009 ◽

pp. 62-76 ◽

Cited By ~ 1

Author(s):

Arnon Avron ◽

Ori Lahav

Download Full-text