Vol-3262⫷ Vol-3263 ⫸Vol-3264
urn:nbn:de:0074-3263-0


Vol-3263/paper-15⫷Vol-3263/paper-16⫸Vol-3263/paper-17
Tim LyonJonas Karge

Uniform and Modular Sequent Systems for Description Logics