Back to Results
First PageMeta Content
Mathematics / Logic / Mathematical logic / Algebraic structures / Model theory / Z notation / Topology / S / Set theory / Lattice / Ring / Axiom


Efficient Reasoning with Range and Domain Constraints Dmitry Tsarkov and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov|horrocks}@cs.man.ac.uk
Add to Reading List

Document Date: 2015-02-05 09:51:09


Open Document

File Size: 164,69 KB

Share Result on Facebook