Tag: Algebra and Logic

NOVA Math > NOVA Math >

The classification of normalizing groups

Algebra and Logic Article Araujo,J;Cameron,PJ;Mitchell,JD;Neunhoeffer,M JOURNAL OF ALGEBRA 2013 373 481-490 10.1016/j.jalgebra.2012.08.033

Read More

From determinism, non-determinism and alternation to recursion schemes for P, NP and Pspace

Algebra and Logic Proceedings Paper Oitavem,I Leibniz International Proceedings in Informatics, LIPIcs 22nd Annual Conference of the European Association for Computer Science Logic EACSL, CSL 2013 2013 23 24-27 10.4230/lipics.csl.2013.24

Read More

Finding large co-Sidon subsets in sets with a given additive energy

Algebra and Logic Article Dubickas,A;Schoen,T;Silva,M;Sarka,P EUROPEAN JOURNAL OF COMBINATORICS 2013 34 7 1144-1157 10.1016/j.ejc.2013.04.002

Read More

Computing with mathematical arguments

Algebra and Logic Book Chapter Alama,J;Kahle,R New Challenges to Philosophy of Science 2013 44805 10.1007/978-94-007-5845-2_2

Read More

Products, multiplicative Chern characters, and finite coefficients via noncommutative motives

Algebra and Logic Article Tabuada,G JOURNAL OF PURE AND APPLIED ALGEBRA 2013 217 7 1279-1293 10.1016/j.jpaa.2012.10.009

Read More

Weil cohomologies and derived dg categories

Algebra and Logic Article Tabuada,G JOURNAL OF PURE AND APPLIED ALGEBRA 2013 217 7 1294-1302 10.1016/j.jpaa.2012.10.008

Read More

Fundamental isomorphism conjecture via non-commutative motives

Algebra and Logic Article Balmer,P;Tabuada,G MATHEMATISCHE NACHRICHTEN 2013 286 45177 791-798 10.1002/mana.201200057

Read More

Applicative theories for the polynomial hierarchy of time and its levels

Algebra and Logic Article Kahle,R;Oitavem,I ANNALS OF PURE AND APPLIED LOGIC Meeting on 3rd Classical Logic and Computation (CLAC) 2013 164 6 663-675 10.1016/j.apal.2012.05.006

Read More

Rainbow vertex k-connection in graphs

Algebra and Logic Article Liu,H;Mestre,A;Sousa,T DISCRETE APPLIED MATHEMATICS 2013 161 16-17 2549-2555 10.1016/j.dam.2013.04.025

Read More

An extension of Brualdi’s algorithm for the construction of (0,1)-matrices with prescribed row and column sum vectors

Algebra and Logic Article Fernandes,R;da Cruz,HF DISCRETE MATHEMATICS 2013 313 20 2365-2379 10.1016/j.disc.2013.06.016

Read More