Theory

Results: 155664



#Item
1Proc. 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ß

Add to Reading List

Source URL: eta.impa.br

Language: English - Date: 2018-07-25 13:17:42
2Introduction Background, Theory Validating Squolem’s Certificates in HOL4 Evaluation Conclusions

Introduction Background, Theory Validating Squolem’s Certificates in HOL4 Evaluation Conclusions

Add to Reading List

Source URL: user.it.uu.se

Language: English - Date: 2010-06-02 16:25:19
3The 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

Add to Reading List

Source URL: thev.net

Language: English - Date: 2011-02-09 02:39:42
4Proc. 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 (恽之玮)

Add to Reading List

Source URL: eta.impa.br

Language: English - Date: 2018-07-25 13:17:43
5Model 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

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2016-06-06 06:27:29
6Proc. 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 (河東泰之)

Add to Reading List

Source URL: eta.impa.br

Language: English - Date: 2018-07-25 13:17:42
7Voting Theory AAAI-2010 Voting Procedures and their Properties

Voting Theory AAAI-2010 Voting Procedures and their Properties

Add to Reading List

Source URL: formal.iti.kit.edu

Language: English - Date: 2016-07-22 17:04:25
8Noname 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´

Add to Reading List

Source URL: csl.sri.com

Language: English - Date: 2014-06-27 12:47:14
9Proc. 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 (许晨阳)

Add to Reading List

Source URL: eta.impa.br

Language: English - Date: 2018-07-25 13:17:43
10Proc. 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

Add to Reading List

Source URL: eta.impa.br

Language: English - Date: 2018-07-25 13:17:43