Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
2-(2-Thiazolylazo)-p-cresol as a spectrophotometric reagent for vanadium determination in the presence of ascorbic acidTEIXEIRA, L. S. G ; SPINOLA COSTA, A. C ; QUEIROZ, A. S ; AMORIM, A. M. M ; BOMFIM, O. N ; FERREIRA, S. L. CMikrochimica acta (1966), 1998-01, Vol.129 (1-2), p.103-106 [Periódico revisado por pares]Wien: SpringerTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
2-Arylvinylation of 1-Methylindole by Palladium-Catalyzed Cross-Coupling ReactionsHerz, Hans-GeorgSynthesis (Stuttgart), 1999-06, Vol.1999 (6), p.1013-1016 [Periódico revisado por pares]Texto completo disponível |
3 |
Material Type: Artigo
|
![]() |
22nd Workshop on Logic, Language, Information and Computation ( WoLLIC 2015 )Paiva, Valeria de ; Moss, Larry ; Leivant, Daniel ; Queiroz, Ruy deLogic journal of the IGPL, 2016-10, Vol.24 (5), p.859-859 [Periódico revisado por pares]Texto completo disponível |
4 |
Material Type: Artigo
|
![]() |
23rd Workshop on Logic, Language, Information and Computation ( WoLLIC 2016 )Väänänen, Jouko ; Queiroz, Ruy de ; Galindo, Mauricio Osorio ; Cortés, Claudia Zepeda ; Ramírez, José R. ArrazolaLogic journal of the IGPL, 2017-04 [Periódico revisado por pares]Texto completo disponível |
5 |
Material Type: Artigo
|
![]() |
23rd Workshop on Logic, Language, Information and Computation - WoLLIC 2016Väänänen, Jouko ; de Queiroz, Ruy J.G.B.Annals of pure and applied logic, 2019-09, Vol.170 (9), p.921-922 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
23RD WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2016), CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC, Puebla, Mexico, August 16-19, 2016Väänänen, Jouko ; de Queiroz, Ruy ; Galindo, Mauricio Osorio ; Cortés, Claudia Zepeda ; Ramírez, José R. ArrazolaThe bulletin of symbolic logic, 2017-06, Vol.23 (2), p.270-271 [Periódico revisado por pares]New York: Cambridge University PressTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
24th Workshop on Logic, Language, Information and Computation—WoLLIC 2017Kennedy, Juliette ; de Queiroz, RuyArchive for mathematical logic, 2021, Vol.60 (5), p.525-527 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
24TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WoLLIC 2017) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC London, UK July 18–21, 2017Kennedy, Juliette ; Silva, Alexandra ; de Queiroz, Ruy ; Sadrzadeh, MehrnooshThe bulletin of symbolic logic, 2018-09, Vol.24 (3), p.386-387 [Periódico revisado por pares]New York: CAMBRIDGE UNIVERSITY PRESS FOR AND ON BEHALF OF THE ASSOCIATION OF SYMBOLIC LOGICTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018)Moss, Lawrence ; Martinez, Maricarmen ; Caicedo, Xavier ; Queiroz, Ruy deLogic journal of the IGPL, 2019-10, Vol.27 (5), p.766-776 [Periódico revisado por pares]Texto completo disponível |
10 |
Material Type: Artigo
|
![]() |
28th WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2021) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Virtual Event October 5–8, 2021Silva, Alexandra ; Wassermann, Renata ; de Queiroz, RuyThe bulletin of symbolic logic, 2023-12, Vol.29 (4), p.725-725 [Periódico revisado por pares]New York, USA: Cambridge University PressTexto completo disponível |