Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics.

Daniel Gorn, Lutz Schrder

Browse the full AiML paper archive.