Próximos Eventos

Financiado através dos seguintes projetos:

PEst-OE/MAT/UI0297/2011
PEst-OE/MAT/UI0297/2014
UID/MAT/00297/2013

Publicações Álgebra e Lógica 2016

Artigos em revistas internacionais com peer-review

Cain AJ, Pfeiffer M. "Decision problems for word-hyperbolic semigroups." Journal of Algebra. 2016;465:287-321.
Cegarra AM, Heredia BA. "Homotopy colimits of 2-functors." J. Homotopy Relat. Struct.. 2016;11:735-774.
Cegarra AM, Heredia BA. "Homotopy colimits of 2-functors." Journal of Homotopy and Related Structures. 2016;11:735-774. Abstract
Cegarra AM, Heredia BA. "Homotopy colimits of 2-functors." J. Homotopy Relat. Struct.. 2016;11:735-774.
Dediu AH, Matos JM, Moraga C. "Query Learning Automata with Helpful Labels." Journal of Machine Learning Research. 2016;57:1-15.
Guerreiro J, Ruzsa IZ, Silva M. "Monochromatic paths for the integers." European Journal of Combinatorics. 2016;58:283-288. Abstract
Guerreiro J, Ruzsa IZ, Silva M. "Monochromatic paths for the integers." Eur. J. Comb.. 2016;58:283-288.
Heredia BA, Elgueta J. "On the representations of 2-groups in Baez-Crans 2-vector spaces." Theory and Applications of Categories. 2016;31:907-927.
Johnson CR, Saiago CM. "Diameter minimal trees." Linear Multilinear Algebra. 2016;64:557-571.
Johnson CR, Saiago CM. "Diameter minimal trees." Linear Multilinear Algebra. 2016;64:557-571.
Tabuada G. "A note on secondary K-theory." Algebr. Number Theory. 2016;10:887-906.
Tabuada G. "A note on secondary {$K$}-theory." Algebra Number Theory. 2016;10:887-906.
Tabuada G. "A note on secondary K-theory." Algebr. Number Theory. 2016;10:887-906.
Tabuada G. "Algebraic $K$-theory with coefficients of cyclic quotient singularities." C. R. Math. Acad. Sci. Paris. 2016;354:449-452.

Livro

Advances in Proof Theory. Vol. 28. Kahle R, Strahm T, Studer" T, eds. Birkhäuser; 2016. "Progress in Computer Science and Applied Logic" 28.

Capítulo de Livro

Kahle R. "Advances in Proof-Theoretic Semantics." In: "Piecha T, Schroeder-Heister P", eds. Cham: Springer International Publishing; 2016:.
Kahle R. "Is there a "Hilbert thesis"?" In: Piecha T, Schroeder-Heister P, eds. General Proof Theory. Celebrating 50 Years of Dag Prawitz's Natural Deduction. Proceedings of the Conference held in Tübingen, 27-29 November 2015. University of Tübingen, Tübingen; 2016:.

Actas de Conferências

Casimiro A, Florentino C, Lawton S, Oliveira A. "Homotopy type of free group character varieties.". In: Boletim da Sociedade Portuguesa de Matemática. Vol. Special Issue. SPM, Portugal; 2016:.
Fici G, Restivo A, Silva M, Zamboni LQ. "Anti-Powers in Infinite Words." In: Ioannis Chatzigiannakis, Michael Mitzenmacher YR, Sangiorgi D, eds. 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016). Vol. 55. Dagstuhl, Germany: Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik; 2016:. Leibniz International Proceedings in Informatics (LIPIcs) 55.
Kahle R, Oitavem I. "Towards recursion schemata for the probabilistic class PP.". In: Boletim da Sociedade Portuguesa de Matemática. Vol. Número especial.; 2016:.
Kahle R. "O fim da Grundlagenkrise.". In: Boletim da Sociedade Portuguesa de Matemática. Vol. Número especial.; 2016:.

Artigos de Divulgação

Silva M, Freitas PJ. "Coberturas distintas dos inteiros." Gazeta de Matemática 178, 2016.
Silva M, Freitas PJ. "Os computadores aprendem a jogar go." Gazeta de Matemática 179, 2016.

Teses Académicas

Nothing found