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


Vol-3739/invited-3⫷Vol-3739/paper-1⫸Vol-3739/paper-2
Stefan BorgwardtFilippo De BortoliPatrick Koopmann

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