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


Vol-3263/invited-4⫷Vol-3263/paper-1⫸Vol-3263/paper-2
Bernardo AlkmimCláudia NalonEdward Hermann Haeusler

A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals