Tableaux for type PDL

Agathoklis Kritsimallis, Chrysafis Hartonas. Tableaux for type PDL. In Kostas I. Diamantaras, Georgios Evangelidis, Yannis Manolopoulos, Christos K. Georgiadis, Petros Kefalas, Demosthenes Stamatis, editors, Balkan Conference in Informatics, BCI '13, Thessaloniki, Greece, September 19-21, 2013. pages 39-46, ACM, 2013. [doi]

Authors

Agathoklis Kritsimallis

This author has not been identified. Look up 'Agathoklis Kritsimallis' in Google

Chrysafis Hartonas

This author has not been identified. Look up 'Chrysafis Hartonas' in Google