2001, PTCS, Kahle,R;Heister,PS;Stärk,RF
NOVA Math
2001, Lecture Notes in Computer Science, Kahle,R;Schroeder-Heister,P;Stärk,R
2001, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Oitavem,I
2001, Stud Logica, Kahle,R
2001, JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, Kahle,R;Studer,T
2001, ANNALS OF PURE AND APPLIED LOGIC, Jager,G;Kahle,R;Studer,T
2001, COMMUNICATIONS IN ALGEBRA, Fernandes,VH
2001, SEMIGROUP FORUM, Fernandes,VH
2001, ARS COMBINATORIA, da Silva,JAD;Fernandes,R
2001, SEMIGROUP FORUM, Araujo,IM;Branco,MJJ;Fernandes,VH;Gomes,GMS;Ruskuc,N