Pdk: The System and Its Language

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

10.1007/11554554_23 ◽

2005 ◽

pp. 307-311

Author(s):

Marta Cialdea Mayer ◽

Carla Limongelli ◽

Andrea Orlandini ◽

Valentina Poggioni