by Workshop on Logic, Language, Information and Computation, Silvia, Alexandra, Wassermann, Renata, Queiroz, Ruy de
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 Symposium on Logic in Computer Science
Year of Publication 2021

by Symposium on Logic in Computer Science
Year of Publication 2021

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

by International Conference on Formal Concept Analysis, Braud, Agnès, Buzmakov, Aleksey, Hanika, Tom, Le Ber, Florence
Year of Publication 2021

by Symposium on Logic in Computer Science
Year of Publication 2019

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

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

by Konev, Boris, Reger, Giles
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 International Conference on Formal Concept Analysis, Cristea, Diana, Le Ber, Florence, Sertkaya, Baris
Year of Publication 2019

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

by Bertet, Karell, Borchmann, Daniel, Cellier, Peggy, Ferré, Sébastien
Year of Publication 2017

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

by Michael, Loizos, Kakas, Antonis
Year of Publication 2016

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

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

by Khan, Aquil, Manuel, Amaldev
Year of Publication 2019

by Workshop on Logic, Language, Information and Computation, Iemhoff, Rosalie, Moortgat, Michael, Queiroz, Ruy J. G. B. de
Year of Publication 2019