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
Algebra and Logic Article Tabuada,G JOURNAL OF PURE AND APPLIED ALGEBRA 2013 217 7 1279-1293 10.1016/j.jpaa.2012.10.009
Algebra and Logic Article Tabuada,G JOURNAL OF PURE AND APPLIED ALGEBRA 2013 217 7 1294-1302 10.1016/j.jpaa.2012.10.008
Algebra and Logic Article Balmer,P;Tabuada,G MATHEMATISCHE NACHRICHTEN 2013 286 45177 791-798 10.1002/mana.201200057
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
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
Algebra and Logic Article Gray,R;Malheiro,A;Pride,SJ JOURNAL OF SYMBOLIC COMPUTATION 2013 50 50-78 10.1016/j.jsc.2012.05.006
Algebra and Logic Article Araujo,J;Konieczny,J SEMIGROUP FORUM 2013 86 1 11324 10.1007/s00233-012-9424-0
Algebra and Logic Article Marcolli,M;Tabuada,G MOSCOW MATHEMATICAL JOURNAL 2014 14 3 577-594
Algebra and Logic Article Araujo,J;Konieczny,J;Malheiro,A JOURNAL OF ALGEBRA 2014 403 93-134 10.1016/j.jalgebra.2013.12.025