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

2010, JOURNAL OF ALGEBRA, Tabuada,G

2010, JOURNAL OF SYMBOLIC COMPUTATION, Araujo,J;Buenau,PV;Mitchell,JD;Neunhoeffer,M

2010, OPERATORS AND MATRICES, Fernandes,R;da Cruz,HF

2010, TOPOLOGY AND ITS APPLICATIONS, Tabuada,G

2010, ACTA MATHEMATICA HUNGARICA, Cain,AJ