ID:DA16555376
WoLLIC
Search authors sharing the same name
Dexter Kozen, Ruy de Queiroz, editors
Springer , [2026] , c2026 Lecture notes in computer science 15942
Available at 1 libraries
George Metcalfe, Thomas Studer, Ruy de Queiroz, editors
Springer c2024 Lecture notes in computer science 14672 . FOLLI publications on logic, language and infomation
Helle Hvid Hansen ... [et al.], editors
Springer c2023 Lecture notes in computer science 13923 . FoLLI publications on logic, language and information
Agata Ciabattoni, Elaine Pimentel, Ruy J.G.B. de Queiroz (eds.)
Springer c2022 Lecture notes in computer science 13468 . FoLLI publications on logic, language and information
Alexandra Silvia, Renata Wassermann, Ruy de Queiroz (eds.)
Springer c2021 Lecture notes in computer science 13038 . FoLLI publications on logic, language and information
Available at 3 libraries
Rosalie Iemhoff, Michael Moortgat, Ruy de Queiroz (eds.)
Springer 2019 Lecture notes in computer science 11541 . FoLLI publications on logic, language and information . LNCS sublibrary ; SL1 . Theoretical computer science and general issues
Available at 2 libraries
Lawrence S. Moss, Ruy de Queiroz, Mariacarmen Martinez (eds.)
Springer c2018 Lecture notes in computer science 10944 . FoLLI publications on logic, language and information . LNCS sublibrary ; SL1 . Theoretical computer science and general issues
Juliette Kennedy, Ruy J.G.B. de Queiroz (eds.)
Springer 2017 Lecture notes in computer science 10388 . FoLLI publications on logic, language and information . LNCS sublibrary ; SL1 . Theoretical computer science and general issues
Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz (eds.)
Springer c2016 Lecture notes in computer science 9803 . LNCS sublibrary ; SL1 . Theoretical computer science and general issues
Valeria de Paiva ... [et al.] (eds.)
Springer c2015 Lecture notes in computer science 9160 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Ulrich Kohlenbach, Pablo Barceló, Ruy de Queiroz (eds.)
Springer c2014 Lecture notes in computer science 8652 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz (eds.)
Springer c2013 Lecture notes in computer science 8071 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Lev D. Beklemishev, Ruy de Queiroz (eds.)
Springer c2011 Lecture notes in computer science 6642 . Lecture notes in artifical intelligence
Wilfrid Hodges, Ruy de Queiroz (eds.)
Springer c2008 Lecture notes in computer science . Lecture notes in artificial intelligence ; 5110
