Algebra and Logic Article Fernandes,R;da Cruz,HF DISCRETE MATHEMATICS 2013 313 20 2365-2379 10.1016/j.disc.2013.06.016
Algebra and Logic Article Araujo,J;Bentz,W;Cameron,PJ THEORETICAL COMPUTER SCIENCE 2013 498 45170 10.1016/j.tcs.2013.06.016
Algebra and Logic Article Delgado,M;Fernandes,VH PORTUGALIAE MATHEMATICA 2013 70 2 93-112 10.4171/pm/1927
Algebra and Logic Article Blumberg,AJ;Gepner,D;Tabuada,G GEOMETRY & TOPOLOGY 2013 17 2 733-838 10.2140/gt.2013.17.733
Algebra and Logic Article Araujo,J;Kinyon,M;Malheiro,A PROCEEDINGS OF THE ROYAL SOCIETY OF EDINBURGH SECTION A-MATHEMATICS 2013 143 6 1115-1122 10.1017/s030821051100182x
Algebra and Logic Article Liu,H;Sousa,T Electronic Notes in Discrete Mathematics 2013 43 121-127 10.1016/j.endm.2013.07.021
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 Proceedings Paper Kahle,R Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014. CEUR Workshop Proceedings 2014…
Algebra and Logic Article Cain,AJ;Maltcev,V INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION 2014 24 5 609-653 10.1142/s021819671450026x