by Ganian, Robert, Hliněný, Petr, Nešetřil, Jaroslav, Obdržálek, Jan, de Mendez, Patrice Ossona
Published in Logical methods in computer science (01.01.2019)

by Bojańczyk, Mikołaj, Klin, Bartek, Lasota, Sławomir
Published in Logical methods in computer science (15.08.2014)

by Bartoletti, Massimo, Chiang, James Hsin-yu, Lluch-Lafuente, Alberto
Published in Logical methods in computer science (01.01.2022)

by Plotkin, Gordon D, Pretnar, Matija
Published in Logical methods in computer science (17.12.2013)

by Gratzer, Daniel, Kavvos, G. A., Nuyts, Andreas, Birkedal, Lars
Published in Logical methods in computer science (01.01.2021)

by Bouyer, Patricia, Roux, Stéphane Le, Oualhadj, Youssouf, Randour, Mickael, Vandenhove, Pierre
Published in Logical methods in computer science (17.01.2022)

by Lehtinen, Karoliina, Parys, Paweł, Schewe, Sven, Wojtczak, Dominik
Published in Logical methods in computer science (01.01.2022)

by Nenzi, L., Bortolussi, L., Ciancia, V., Loreti, M., Massink, M.
Published in Logical methods in computer science (01.01.2018)

by Ahrens, Benedikt, Lumsdaine, Peter LeFanu
Published in Logical methods in computer science (01.01.2019)

by Ciancia, Vincenzo, Latella, Diego, Massink, Mieke, de Vink, Erik P.
Published in Logical methods in computer science (26.08.2025)

by Di Lavore, Elena, de Felice, Giovanni, Román, Mario
Published in Logical methods in computer science (12.08.2025)

by Dagnino, Francesco, Giannini, Paola, Dezani-Ciancaglini, Mariangiola
Published in Logical methods in computer science (01.01.2023)

by Intrigila, Benedetto, Manzonetto, Giulio, Munnich, Nicolas
Published in Logical methods in computer science (07.08.2025)

by El-Kholany, Mohammed M. S., Gebser, Martin, Schekotihin, Konstantin
Published in Logical methods in computer science (07.08.2025)

by Daviaud, Laure, Johnson, Marianne
Published in Logical methods in computer science (07.08.2025)

by Zese, Riccardo, Lamma, Evelina, Riguzzi, Fabrizio
Published in Logical methods in computer science (05.08.2025)

by Aguzzi, Gianluca, Casadei, Roberto, Viroli, Mirko
Published in Logical methods in computer science (05.08.2025)

by Stein, Dario, Samuelson, Richard
Published in Logical methods in computer science (29.07.2025)

by Kupferman, Orna, Leshkowitz, Ofer, Halevy, Namma Shamash
Published in Logical methods in computer science (29.07.2025)

by Pears, Jonah, Bocchi, Laura, Murgia, Maurizio, King, Andy
Published in Logical methods in computer science (23.07.2025)