Ricardo João Rodrigues Gonçalves


AuthID: R-000-FBQ

Publicações Confirmadas: 5



1
TÍTULO: Towards a Behavioral Algebraic Theory of Logical Valuations  Full Text
AUTORES: Caleiro, C ; Goncalves, R ;
PUBLICAÇÃO: 2011, FONTE: FUNDAMENTA INFORMATICAE, VOLUME: 106, NÚMERO: 2-4
INDEXADO EM: Scopus WOS CrossRef: 2
NO MEU: ORCID
2
TÍTULO: Parametrized Logic Programming
AUTORES: Ricardo Goncalves ; Jose Julio Alferes ;
PUBLICAÇÃO: 2010, FONTE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID
3
TÍTULO: XIV Latin American Symposium on Mathematical Logic (SLALM) (vol 15, pg 332, 2009)
AUTORES: Carlos Caleiro ; Ricardo Goncalves ;
PUBLICAÇÃO: 2010, FONTE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 16, NÚMERO: 1
INDEXADO EM: WOS
NO MEU: ResearcherID
4
TÍTULO: Algebraic Valuations as Behavioral Logical Matrices  Full Text
AUTORES: Carlos Caleiro ; Ricardo Goncalves ;
PUBLICAÇÃO: 2009, FONTE: 16th International Workshop on Logic, Language, Information and Computation in LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, VOLUME: 5514
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
5
TÍTULO: On the algebraization of many-sorted logics
AUTORES: Carlos Caleiro ; Ricardo Goncalves ;
PUBLICAÇÃO: 2007, FONTE: 18th International Workshop on Algebraic Development Techniques in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 4409
INDEXADO EM: Scopus WOS
NO MEU: ORCID

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

Links Úteis

Ajuda

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