by Workshop on Logic, Language, Information and Computation, Moss, Lawrence Stuart, Queiroz, Ruy de, Martinez, Maricarmen
Year of Publication 2018

by Kohlenbach, Ulrich, Barceló, Pablo, de Queiroz, Ruy J. G. B
Year of Publication 2014

by Kofod-Petersen, A, Heintz, F, Langseth, H
Year of Publication 2011

by Fontaine, Pascal, Ringeissen, Christophe, Schmidt, Renate
Year of Publication 2013

by Schirn, Matthias
Year of Publication 1996

by Halbach, Volker, Horsten, Leon
Year of Publication 2004

by Workshop on Logic, Language, Information and Computation, Hodges, Wilfrid, Queiroz, Ruy J. G. B. de
Year of Publication 2008

by Conference on Computability in Europe (4th : 2008 : Athens, Greece), Beckmann, Arnold, Dimitracopoulos, Costas, Löwe, Benedikt
Year of Publication 2008

by Sambin, Giovanni, Smith, Jan M
Year of Publication 1998