2009, SEMIGROUP FORUM, Araujo,J;Schneider,C

2009, COMPTES RENDUS MATHEMATIQUE, Cabral,J;Neto,O

2009, THEORETICAL COMPUTER SCIENCE, Cain,AJ

2009, LINEAR & MULTILINEAR ALGEBRA, Fernandes,R;da Fonseca,CM

2009, INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, Cain,AJ

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

2010, Electronic Journal of Combinatorics, Bentz,W