2009, INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, Cain,AJ
2010, COMMUNICATIONS IN ALGEBRA, Araujo,J;McCune,W
2010, HOMOLOGY HOMOTOPY AND APPLICATIONS, Tabuada,G
2010, INTERNATIONAL MATHEMATICS RESEARCH NOTICES, Tabuada,G
2010, LINEAR & MULTILINEAR ALGEBRA, Fernandes,R
2010, LINEAR & MULTILINEAR ALGEBRA, Fernandes,R
2010, Theory of Computing Systems, Cain,AJ;Oliver,G;Ruskuc,N;Thomas,RM
2010, - Ways of Proof Theory, Kahle,R;Setzer,A
2010, - Ways of Proof Theory, Oitavem,I
2010, Proceedings Third International Workshop on Classical Logic and Computation, CL&C 2010, Brno, Czech Republic, 21-22 August 2010., Kahle,R;Oitavem,I