Embedding Static Analysis into Tableaux and Sequent based Frameworks
Paper i proceeding, 2005

Författare

Tobias Gedell

Chalmers, Data- och informationsteknik, Datavetenskap

Automated Reasoning with Analytic Tableaux and Related Methods

Vol. 3702 108-122

Ämneskategorier

Data- och informationsvetenskap

ISBN

3-540-28931-3