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

by Probst, Dieter, Schuster, Peter
Year of Publication 2016

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

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

by O'Regan, Gerard
Year of Publication 2012

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

by Voronkov, Andrei
Year of Publication 2015

Year of Publication 2014

by Shur, Arseny M, Volkov, Mikhail V
Year of Publication 2014

by Blass, Andreas, Dershowitz, Nachum, Reisig, Wolfgang
Year of Publication 2010

by DLT, Calude, Cristian, Calude, Elena, Dinneen, Michael J.
Year of Publication 2004

by Kuich, Werner, Rahonis, George
Year of Publication 2011

by CALCO, Fiadeiro, José Luiz, Harman, Neil, Roggenbach, Markus, Rutten Jan
Year of Publication 2005

by Avron, Arnon, Dershowitz, Nachum, Rabinovich, Alexander
Year of Publication 2008

by Gopalakrishnan, Ganesh
Year of Publication 2006