DMCA

The complexity of reasoning with boolean modal logics (2001)

by Carsten Lutz , Ulrike Sattler
Venue:LTCSReport 00-02, LuFG Theoretical Computer Science, RWTH
Citations:45 - 6 self