Folgen
Washington Luís Ribeiro de Carvalho Segundo
Washington Luís Ribeiro de Carvalho Segundo
Coordenador e Pesquisador no IBICT
Bestätigte E-Mail-Adresse bei ibict.br
Titel
Zitiert von
Zitiert von
Jahr
Nominal C-unification
M Ayala-Rincón, W de Carvalho-Segundo, M Fernández, ...
International Symposium on Logic-Based Program Synthesis and Transformation …, 2017
252017
On solving nominal fixpoint equations
M Ayala-Rincón, W de Carvalho-Segundo, M Fernández, ...
International Symposium on Frontiers of Combining Systems, 209-226, 2017
212017
A formalisation of nominal α-equivalence with A and AC function symbols
M Ayala-Rincón, W de Carvalho-Segundo, M Fernández, ...
Electronic Notes in Theoretical Computer Science 332, 21-38, 2017
142017
A formalisation of nominal α-equivalence with A, C, and AC function symbols
M Ayala-Rincón, W de Carvalho-Segundo, M Fernández, ...
Theoretical Computer Science 781, 3-23, 2019
122019
R-Shiny as an interface for Data Visualization and Data Analysis on the Brazilian Digital Library of Thesis and Dissertations (BDTD)
LF Ramalho, LRRR Campelo, WLR Carvalho-Segundo
Open Repositories 2019, 2019
102019
Nominal equational problems modulo associativity, commutativity and associativity-commutativity
WLR de Carvalho-Segundo
Universidade de Brasília, 2019
62019
A formalisation of nominal C-matching through unification with protected variables
M Ayala-Rincón, W de Carvalho-Segundo, M Fernández, ...
Electronic Notes in Theoretical Computer Science 344, 47-65, 2019
52019
Brazil Developing Current Research Information Systems (BrCRIS) as data sources for studies of research
AL Pinto, WLR de Carvalho Segundo, TMR Dias, VS Silva, JC Gomes, ...
Iberoamerican Journal of Science Measurement and Communication 2 (1), 2022
42022
Washington de Carvalho Segundo, Maribel Fernández, Gabriel Ferreira Silva, and Daniele Nantes-Sobrinho. Formalising Nominal C-Unification Generalised with Protected Variables
M Ayala-Rincón
Math. Struct. Comput. Sci 31 (3), 286-311, 2021
42021
Um modelo semântico baseado em ontologia para o cris brasileiro
VS Silva, T Moreira, TM Dias, J Gomes, WC Segundo
Colecção CA–Ciência Aberta, 361, 2021
42021
Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho, and Ana Cristina Rocha Oliveira. A Formalisation of Nominal α-Equivalence with A, C, and AC Function …
M Ayala-Rincón
Theor. Comput. Sci 781, 3-23, 2019
42019
BrCRIS como um sistema de recomendação científico-tecnológica
AL Pinto, TMR Dias, JC Gomes, Washington Segundo
Enancib 2021, 2021
32021
Washington de Carvalho-Segundo, Maribel Fernández, and Daniele Nantes-Sobrinho. A formalisation of nominal α-equivalence with A and AC function symbols
M Ayala-Rincón
Electronic Notes in Theoretical Computer Science 332, 21-38, 2017
32017
The LA Referencia software and the brazilian portal of scientific open access publications (Oasisbr)
W Carvalho-Segundo, A Cabezas, L Matas, B Amaro, G Gomes
International Conference on Open Repositories, 2017
32017
Validação automática dos currículos da plataforma Lattes à Biblioteca Digital Brasileira de Teses e Dissertações (BDTD)
TMR Dias, WLR de Carvalho-Segundo
Páginas a&b: arquivos e bibliotecas, 164-168, 2021
22021
DOS REPOSITÓRIOS AOS AGREGADORES, O METAMODELO DE RELAÇÕES ENTRE ENTIDADES: o caso LA Referencia e RCAAP
J Carvalho, L Matas, W Segundo, P Graça, P Lopes
Páginas a&b: arquivos e bibliotecas, 33-37, 2021
22021
The brazilian current research information system: BrCris
AL Pinto, WLR de Segundo, L Quoniam, TMR Dias
Colecção CA–Ciência Aberta, 319, 2021
22021
Improving LA Referencia metadata by linking research profiles to repositories: the case of the Brazilian Digital Library of Thesis and Dissertations (BDTD) and the Lattes CV …
LJ Matas, WLR Carvalho-Segundo, TMR Dias
Open Repositories 2019, 2019
22019
Nominal C-Unification. Av (2017)
M Ayala-Rincón, W Carvalho-Segundo, M Fernández, D Nantes-Sobrinho
22017
Theses and Dissertations Digital Library: Ten years of Open Access and Open Archives in Brazil
DJ Macedo, RF de Brito, WLR de Carvalho Segundo, M Shintaku
Open Repositories 2014, 2014
22014
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20