<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2015-02-05 09:51:09Mathematics Logic Mathematical logic Algebraic structures Model theory Z notation Topology S Set theory Lattice Ring Axiom |
Add to Reading List |
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 | Geometry & Topology–Topological properties of Hilbert schemes of almost-complex four-manifolds IIDocID: 1xVL5 - View Document |
 | Algebraic & Geometric Topology–Generic representations of orthogonal groups: the mixed functorsDocID: 1xVsM - View Document |
 | Geometry & Topology–K –duality for stratified pseudomanifolds C LAIRE D EBORDDocID: 1xVky - View Document |
 | NetHide: Secure and Practical Network Topology Obfuscation Roland Meier∗ , Petar Tsankov∗ , Vincent Lenders , Laurent Vanbever∗ , Martin Vechev∗ ∗ ETH ZürichDocID: 1xVcN - View Document |
 | NetHide: Secure and Practical Network Topology Obfuscation Roland Meier∗ , Petar Tsankov∗ , Vincent Lenders , Laurent Vanbever∗ , Martin Vechev∗ ∗ ETH ZürichDocID: 1xV3c - View Document |