Agathoklis Kritsimallis

According to our database¹, Agathoklis Kritsimallis authored at least 3 papers between 2013 and 2019.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2019

ExpTime Tableaux for Type PDL.

[BibT_eX]

[DOI]

CoRR, 2019

2017

Tableaux with Partial Caching for Hybrid PDL with Satisfaction Statements.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2017, 2017

2013

Tableaux for type PDL.

[BibT_eX]

[DOI]

Proceedings of the Balkan Conference in Informatics, 2013