Ricardo João Rodrigues Gonçalves


AuthID: R-000-FBQ

Publicações a aguardar confirmação

61
TÍTULO: Algebraic Valuations as Behavioral Logical Matrices
AUTORES: Carlos Caleiro; Ricardo Gonçalves;
PUBLICAÇÃO: 2009, FONTE: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, VOLUME: 5514
INDEXADO EM: DBLP
62
TÍTULO: Behavioral algebraization of da Costa's C-systems
AUTORES: Carlos Caleiro; Ricardo Gonçalves;
PUBLICAÇÃO: 2009, FONTE: Journal of Applied Non-Classical Logics, VOLUME: 19, NÚMERO: 2
INDEXADO EM: DBLP
63
TÍTULO: Equipollent logical systems  Full Text
AUTORES: Caleiro, C ; Goncalves, R;
PUBLICAÇÃO: 2007, FONTE: Logica Universalis: Towards a General Theory of Logic
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
64
TÍTULO: On the Algebraization of Many-Sorted Logics
AUTORES: Carlos Caleiro; Ricardo Gonçalves;
PUBLICAÇÃO: 2006, FONTE: Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers, VOLUME: 4409
INDEXADO EM: DBLP
65
TÍTULO: Stochastic modelling of OWC wave power plant performance  Full Text
AUTORES: Falcao, AFD ; Rodrigues, RJA;
PUBLICAÇÃO: 2002, FONTE: APPLIED OCEAN RESEARCH, VOLUME: 24, NÚMERO: 2
INDEXADO EM: Scopus WOS
Página 7 de 7. Total de resultados: 65.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service