by Workshop on Logic, Language, Information and Computation, Silvia, Alexandra, Wassermann, Renata, Queiroz, Ruy de
Year of Publication 2021

by de Paiva, Valeria, de Queiroz, Ruy, Moss, Lawrence S, Leivant, Daniel, de Oliveira, Anjolina G
Year of Publication 2015

by Larrazabal, J. M, Lascar, D, Mints, G
Year of Publication 02.03.2017

by Baltag, Alexandru, Seligman, Jeremy, 山田, 友幸
Year of Publication 2017

by Libkin, Leonid, Kohlenbach, Ulrich, de Queiroz, Ruy
Year of Publication 2013

by Symposium on Logic in Computer Science
Year of Publication 2021

by Symposium on Logic in Computer Science
Year of Publication 2021

by Harth, Andreas, Presutti, Valentina, Troncy, Raphaël, Acosta, Maribel, Polleres, Axel, Fernández, Javier D, Xavier Parreira, Josiane, Hartig, Olaf, Hose, Katja, Cochez, Michael
Year of Publication 2020

by Lutz, Carsten, Ranise, Silvio
Year of Publication 2015

by Baroni, Pietro, Benzmüller, Christoph, Wáng, Yὶ N
Year of Publication 2021

by Makowsky, Johann A, Ravve, Elena V
Year of Publication 02.03.2017

by Symposium on Logic in Computer Science
Year of Publication 2019

by Carnielli, Walter A. (Walter Alexandre), Alcantara, Luiz Paulo de, Sociedade Brasileira de Lógica, Sociedade Brasileira de Matemática, Association for Symbolic Logic, Latin-American Symposium on Mathematical Logic
Year of Publication 1988

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 Konev, Boris, Reger, Giles
Year of Publication 2021

by Arai, Toshiyasu, Feng, Qi, Kim, Byunghan, Wu, Guohua, Yang, Yue
Year of Publication 2011

by Arai, T, Brendle, J, Kikyo, H, Chong, C. T, Downey, R, Feng, Q, Dno, H
Year of Publication 2010

by Blackburn, Patrick, Lorini, Emiliano, Guo, Meiyun
Year of Publication 2019

by Herzig, Andreas, Popescu, Andrei
Year of Publication 2019