21![FINITE DECOMPOSITION COMPLEXITY AND THE INTEGRAL NOVIKOV CONJECTURE FOR HIGHER ALGEBRAIC K–THEORY (DRAFT) DANIEL A. RAMRAS, ROMAIN TESSERA, AND GUOLIANG YU Abstract. Decomposition complexity for metric spaces was recen FINITE DECOMPOSITION COMPLEXITY AND THE INTEGRAL NOVIKOV CONJECTURE FOR HIGHER ALGEBRAIC K–THEORY (DRAFT) DANIEL A. RAMRAS, ROMAIN TESSERA, AND GUOLIANG YU Abstract. Decomposition complexity for metric spaces was recen](https://www.pdfsearch.io/img/5d8819da154c0267314d95bf04d0aa75.jpg) | Add to Reading ListSource URL: www.normalesup.orgLanguage: English - Date: 2011-10-25 03:50:08
|
---|
22![Formale Systeme II: Theorie Axiomatic Set Theory SSProf. Dr. Bernhard Beckert · Dr. Mattias Ulbrich Formale Systeme II: Theorie Axiomatic Set Theory SSProf. Dr. Bernhard Beckert · Dr. Mattias Ulbrich](https://www.pdfsearch.io/img/042f2c57aef9994a9634885b1c1e5afc.jpg) | Add to Reading ListSource URL: formal.iti.kit.eduLanguage: English - Date: 2016-07-23 11:12:15
|
---|
23![Category Theory for Program Construction by Calculation Lambert Meertens CWI, Amsterdam and Department of Computing Science, Utrecht University Category Theory for Program Construction by Calculation Lambert Meertens CWI, Amsterdam and Department of Computing Science, Utrecht University](https://www.pdfsearch.io/img/72367a54317b323699b648dcc1903431.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2012-08-03 13:27:17
|
---|
24![Curved Koszul Duality for Algebras over Unital Operads Najib Idrissi∗ April 30, 2018 We develop a curved Koszul duality theory for algebras presented by Curved Koszul Duality for Algebras over Unital Operads Najib Idrissi∗ April 30, 2018 We develop a curved Koszul duality theory for algebras presented by](https://www.pdfsearch.io/img/b31eeab95b415d3948df4b83354b0cc7.jpg) | Add to Reading ListSource URL: idrissi.euLanguage: English - Date: 2018-10-19 04:32:45
|
---|
25![29. First test comparing Stryd and Garmin Running Power In our books The Secret Of Running (www.thesecretofrunning.com) and The Secret Of Cycling (www.thesecretofcycling.com) we have described our unified theory for the 29. First test comparing Stryd and Garmin Running Power In our books The Secret Of Running (www.thesecretofrunning.com) and The Secret Of Cycling (www.thesecretofcycling.com) we have described our unified theory for the](https://www.pdfsearch.io/img/cb741d4dfb1766dadbcb366b68c140bb.jpg) | Add to Reading ListSource URL: thesecretofrunning.comLanguage: English - Date: 2017-12-27 05:46:13
|
---|
26![Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–854) HODGE THEORY AND CYCLE THEORY OF LOCALLY SYMMETRIC SPACES Nicolas Bergeron Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–854) HODGE THEORY AND CYCLE THEORY OF LOCALLY SYMMETRIC SPACES Nicolas Bergeron](https://www.pdfsearch.io/img/a7889d27a50e72bf551ec7c652416ae7.jpg) | Add to Reading ListSource URL: eta.impa.brLanguage: English - Date: 2018-07-25 13:17:42
|
---|
27![Grivaux, Julien Infinitesimal deformations of rational surface automorphisms. (English) Zbl Math. Z. 288, No. 3-4, ). The basic problem of deformation theory in algebraic geometry involves wa Grivaux, Julien Infinitesimal deformations of rational surface automorphisms. (English) Zbl Math. Z. 288, No. 3-4, ). The basic problem of deformation theory in algebraic geometry involves wa](https://www.pdfsearch.io/img/20f5312ce3c02078f83e2717754ed277.jpg) | Add to Reading ListSource URL: jgrivaux.perso.math.cnrs.frLanguage: English - Date: 2018-08-12 06:39:41
|
---|
28![Introduction Background, Theory Validating Squolem’s Certificates in HOL4 Evaluation Conclusions Introduction Background, Theory Validating Squolem’s Certificates in HOL4 Evaluation Conclusions](https://www.pdfsearch.io/img/7dba9e84892feadabbc0e666313c236f.jpg) | Add to Reading ListSource URL: user.it.uu.seLanguage: English - Date: 2011-03-15 18:34:02
|
---|
29![Group Henzinger Software Systems Theory Systems Biology Group members Group Henzinger Software Systems Theory Systems Biology Group members](https://www.pdfsearch.io/img/a664c25244a8276add58039bae80d2ab.jpg) | Add to Reading ListSource URL: pub.ist.ac.atLanguage: English - Date: 2015-11-25 13:48:37
|
---|
30![Instantiation for Theory Reasoning in Vampire Giles Reger Martin Riener University of Manchester, Manchester, UK Instantiation for Theory Reasoning in Vampire Giles Reger Martin Riener University of Manchester, Manchester, UK](https://www.pdfsearch.io/img/b6a382f968a31de76c173b6704016346.jpg) | Add to Reading ListSource URL: www.logic.atLanguage: English - Date: 2018-07-19 05:32:19
|
---|