Vol-3738⫷ Vol-3739 ⫸Vol-3740
urn:nbn:de:0074-3739-0


Vol-3739/invited-3⫷Vol-3739/paper-1⫸Vol-3739/paper-2

The Precise Complexity of Reasoning in 𝒜ℒ𝒞 with 𝜔-Admissible Concrete Domains