Vol-1878⫷ Vol-1879 ⫸Vol-1880
urn:nbn:de:0074-1879-0


Vol-1879/paper41⫷Vol-1879/paper28⫸Vol-1879/paper43

Not Too Big, Not Too Small... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics