E-LIB Suche - Ergebnisse für: de Queiroz, Ruy

1

Logic, Language, Information, and Computation: 30th Interna..

Lecture Notes in Computer Science, 14672

Metcalfe, George ; Studer, Thomas ; de Queiroz, Ruy - 1st ed. 2024 . , 2024

Link: https://doi.org/10.1007/..

2

Logic, Language, Information, and Computation: 27th Interna..

Theoretical Computer Science and General Issues, 13038

Silva, Alexandra ; Wassermann, Renata ; de Queiroz, Ruy - 1st ed. 2021 . , 2021

Link: https://doi.org/10.1007/..

3

Logic, Language, Information, and Computation: 26th Interna..

Theoretical Computer Science and General Issues, 11541

Iemhoff, Rosalie ; Moortgat, Michael ; de Queiroz, Ruy - 1st ed. 2019 . , 2019

Link: https://doi.org/10.1007/..

4

Logic, Language, Information, and Computation

25th International Workshop, WoLLIC 2018, Bogota, Colombia,... Lecture Notes in Computer Science ; 10944;Theoretical Computer Science and General Issues ; 10944;SpringerLink, Bücher

de Queiroz, Ruy ; Moss, Lawrence S. ; Martínez, Maricarmen , 2018

Link: http://dx.doi.org/10.100..

5

Logic, Language, Information, and Computation

23rd International Workshop, WoLLIC 2016, Puebla, Mexico, A... Lecture Notes in Computer Science ; 9803;Theoretical Computer Science and General Issues ; 9803;SpringerLink, Bücher;Springer eBook Collection, Computer Science

Väänänen, Jouko ; Hirvonen, Åsa ; de Queiroz, Ruy , 2016

Link: https://doi.org/10.1007/..

6

Logic, Language, Information, and Computation

22nd International Workshop, WoLLIC 2015, Bloomington, IN, ... Lecture Notes in Computer Science ; 9160;SpringerLink, Bücher

de Paiva, Valeria ; de Queiroz, Ruy ; de Oliveira, Anjolina G... , 2015

Link: https://doi.org/10.1007/..

7

Logic, Language, Information, and Computation

21st International Workshop, WoLLIC 2014, Valparaíso, Chil... Lecture Notes in Computer Science ; 8652;SpringerLink, Bücher

Kohlenbach, Ulrich ; Barceló, Pablo ; Queiroz, Ruy , 2014

Link: https://doi.org/10.1007/..

8

Logic, Language, Information, and Computation

20th International Workshop, WoLLIC 2013, Darmstadt, German... Lecture Notes in Computer Science ; 8071;SpringerLink, Bücher

Libkin, Leonid ; Kohlenbach, Ulrich ; Queiroz, Ruy , 2013

Link: https://doi.org/10.1007/..

9

Logic, Language, Information and Computation

19th International Workshop, WoLLIC 2012, Buenos Aires, Arg... Lecture Notes in Computer Science ; 7456;SpringerLink, Bücher

Ong, Luke ; Queiroz, Ruy , 2012

Link: https://doi.org/10.1007/..

10

Logic, language, information and computation

18th international workshop, WoLLIC 2011, Philadelphia, PA,... Lecture notes in computer science ; 6642, Lecture notes in artificial intelligence

Beklemishev, Lev D. ; Queiroz, Ruy de , 2011

Link: http://dx.doi.org/10.100..

11

Logic, language, information and computation

17th international workshop, WoLLIC 2010, Brasilia, Brazil,... Lecture notes in computer science ; 6188, Lecture notes in artificial intelligence

Dawar, Anuj ; Queiroz, Ruy de , 2010

Link: http://dx.doi.org/10.100..

12

Logic, language, information and computation

16th international workshop, WoLLIC 2009, Tokyo, Japan, Jun... Lecture notes in computer science ; 5514, Lecture notes in artificial intelligence

Ono, Hiroakira ; Kanazawa, Makoto ; Queiroz, Ruy de , 2009

Link: http://dx.doi.org/10.100..

13

Logic, Language, Information and Computation

15th International Workshop, WoLLIC 2008 Edinburgh, UK, Jul... Lecture Notes in Computer Science ; 5110

Hodges, Wilfrid ; Queiroz, Ruy , 2008

Link: http://dx.doi.org/10.100..

14

Logic, language, information and computation

14th International workshop, WoLLIC 2007, Rio de Janeiro, B... Lecture notes in computer science ; 4576

Leivant, Daniel ; Queiroz, Ruy de , 2007

Link: http://dx.doi.org/10.100..

15

Logic, Language, Information and Computation

14th International Workshop, WoLLIC 2007, Rio de Janeiro, B... Lecture Notes in Computer Science ; 4576

Leivant, Daniel ; Queiroz, Ruy , 2007

Link: http://dx.doi.org/10.100..