EXPTIME Tableaux for the Coalgebraic

Corina Crstea, Clemens Kupke, Dirk Pattinson

Browse the full CSL paper archive.