1![Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–124) QUIVERS WITH RELATIONS FOR SYMMETRIZABLE CARTAN MATRICES AND ALGEBRAIC LIE THEORY Christof Geiß Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–124) QUIVERS WITH RELATIONS FOR SYMMETRIZABLE CARTAN MATRICES AND ALGEBRAIC LIE THEORY Christof Geiß](https://www.pdfsearch.io/img/421ada994ea7a5895024596ab8c50787.jpg) | Add to Reading ListSource URL: eta.impa.brLanguage: English - Date: 2018-07-25 13:17:42
|
---|
2![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/3a523fa1a2b53067ad52e2c55936af01.jpg) | Add to Reading ListSource URL: user.it.uu.seLanguage: English - Date: 2010-06-02 16:25:19
|
---|
3![The Theory and Practice of Causal Commutative Arrows Hai (Paul) Liu Advisor: Paul Hudak Computer Science Department Yale University The Theory and Practice of Causal Commutative Arrows Hai (Paul) Liu Advisor: Paul Hudak Computer Science Department Yale University](https://www.pdfsearch.io/img/aac26d80dfbf893d8eb5122afb0fb006.jpg) | Add to Reading ListSource URL: thev.netLanguage: English - Date: 2011-02-09 02:39:42
|
---|
4![Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1472) HITCHIN TYPE MODULI STACKS IN AUTOMORPHIC REPRESENTATION THEORY Zhiwei Yun (恽之玮) Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1472) HITCHIN TYPE MODULI STACKS IN AUTOMORPHIC REPRESENTATION THEORY Zhiwei Yun (恽之玮)](https://www.pdfsearch.io/img/34680e7bd257e084c42ad9f9e5c32968.jpg) | Add to Reading ListSource URL: eta.impa.brLanguage: English - Date: 2018-07-25 13:17:43
|
---|
5![Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice∗ Marta Kwiatkowska University of Oxford Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice∗ Marta Kwiatkowska University of Oxford](https://www.pdfsearch.io/img/c941e80ed63c48b3b203472973173d6b.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-06-06 06:27:29
|
---|
6![Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–2602) CONFORMAL FIELD THEORY, VERTEX OPERATOR ALGEBRAS AND OPERATOR ALGEBRAS Yasuyuki Kawahigashi (河東泰之) Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–2602) CONFORMAL FIELD THEORY, VERTEX OPERATOR ALGEBRAS AND OPERATOR ALGEBRAS Yasuyuki Kawahigashi (河東泰之)](https://www.pdfsearch.io/img/9fd8230958ae6545645a73a0a8d43911.jpg) | Add to Reading ListSource URL: eta.impa.brLanguage: English - Date: 2018-07-25 13:17:42
|
---|
7![Voting Theory AAAI-2010 Voting Procedures and their Properties Voting Theory AAAI-2010 Voting Procedures and their Properties](https://www.pdfsearch.io/img/661d21116f7677dc4053b20ea32371aa.jpg) | Add to Reading ListSource URL: formal.iti.kit.eduLanguage: English - Date: 2016-07-22 17:04:25
|
---|
8![Noname manuscript No. (will be inserted by the editor) Being Careful about Theory Combination Dejan Jovanovi´ Noname manuscript No. (will be inserted by the editor) Being Careful about Theory Combination Dejan Jovanovi´](https://www.pdfsearch.io/img/469b3f7ee756639a194aad0d4eaa65b5.jpg) | Add to Reading ListSource URL: csl.sri.comLanguage: English - Date: 2014-06-27 12:47:14
|
---|
9![Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–826) INTERACTION BETWEEN SINGULARITY THEORY AND THE MINIMAL MODEL PROGRAM Chenyang Xu (许晨阳) Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–826) INTERACTION BETWEEN SINGULARITY THEORY AND THE MINIMAL MODEL PROGRAM Chenyang Xu (许晨阳)](https://www.pdfsearch.io/img/373b4f3218eb9bc7b97437d851ad02a5.jpg) | Add to Reading ListSource URL: eta.impa.brLanguage: English - Date: 2018-07-25 13:17:43
|
---|
10![Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1034) AN INVITATION TO HIGHER TEICHMÜLLER THEORY Anna Wienhard Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1034) AN INVITATION TO HIGHER TEICHMÜLLER THEORY Anna Wienhard](https://www.pdfsearch.io/img/3d0d71646ca848b5dc746cff1da669cf.jpg) | Add to Reading ListSource URL: eta.impa.brLanguage: English - Date: 2018-07-25 13:17:43
|
---|