<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2014-06-19 17:23:20Computability theory Mathematical logic Model theory Structure Universal algebra Reduction Symbol Sigma-algebra Decomposition of spectrum |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2014-06-19 17:23:20Computability theory Mathematical logic Model theory Structure Universal algebra Reduction Symbol Sigma-algebra Decomposition of spectrum |
Add to Reading List |
Resource-Restricted Indifferentiability? Gr´egory Demay, Peter Gaˇzi, Martin Hirt, and Ueli Maurer Department of Computer Science, ETH Zurich, Switzerland {gregory.demay,peter.gazi,hirt,maurer}@inf.ethz.ch Abstract. A