Ricardo João Rodrigues Gonçalves


AuthID: R-000-FBQ

Confirmed Publications: 5



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

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service