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

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..

10

24TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION, AND COMPUTAT..:

Kennedy, Juliette ; Silva, Alexandra ; de Queiroz, Ruy.
The Bulletin of Symbolic Logic. 24 (2018) 3 - p. 386-387 , 2018

Link: https://www.jstor.org/st..

11

24th Workshop on Logic, Language, Information and Computati..:

Kennedy, Juliette ; Queiroz, Ruy de ; Silva, Alexandra.
Logic Journal of the IGPL. , 2018

Link: https://doi.org/10.1093/..

12

25TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION, AND COMPUTAT..:

Moss, Lawrence ; Martinez, Maricarmen ; Caicedo, Xavier.
The Bulletin of Symbolic Logic. 24 (2018) 4 - p. 548-549 , 2018

Link: https://www.jstor.org/st..

13

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/..

14

23rd Workshop on Logic, Language, Information and Computati..:

Väänänen, Jouko ; Queiroz, Ruy de ; Galindo, Mauricio Osorio..
Logic Journal of IGPL. , 2016

Link: https://doi.org/10.1093/..

15

Normalization of N-Graphs via Sub-N-Graphs:

Andrade, Laís ; Carvalho, Ruan ; de Oliveira, Anjolina.
Electronic Notes in Theoretical Computer Science. 323 (2016) - p. 3-19 , 2016

Link: https://doi.org/10.1016/..