Agathoklis Kritsimallis

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 2

Top Topics

Top Venues

Publications

Agathoklis Kritsimallis, Ioannis Refanidis
ExpTime Tableaux for Type PDL. CoRR (2019)
Agathoklis Kritsimallis
Tableaux with Partial Caching for Hybrid PDL with Satisfaction Statements. ICTAC (2017)
Agathoklis Kritsimallis, Chrysafis Hartonas
Tableaux for type PDL. BCI (2013)