Ricardo João Rodrigues Gonçalves
AuthID: R-000-FBQ
61
TITLE: Algebraic Valuations as Behavioral Logical Matrices
AUTHORS: Carlos Caleiro; Ricardo Gonçalves;
PUBLISHED: 2009, SOURCE: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, VOLUME: 5514
AUTHORS: Carlos Caleiro; Ricardo Gonçalves;
PUBLISHED: 2009, SOURCE: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, VOLUME: 5514
INDEXED IN: 
DBLP
DBLP62
TITLE: Behavioral algebraization of da Costa's C-systems
AUTHORS: Carlos Caleiro; Ricardo Gonçalves;
PUBLISHED: 2009, SOURCE: Journal of Applied Non-Classical Logics, VOLUME: 19, ISSUE: 2
AUTHORS: Carlos Caleiro; Ricardo Gonçalves;
PUBLISHED: 2009, SOURCE: Journal of Applied Non-Classical Logics, VOLUME: 19, ISSUE: 2
INDEXED IN: DBLP
DBLP63
TITLE: Equipollent logical systems Full Text
AUTHORS: Caleiro, C ; Goncalves, R;
PUBLISHED: 2007, SOURCE: Logica Universalis: Towards a General Theory of Logic
AUTHORS: Caleiro, C ; Goncalves, R;
PUBLISHED: 2007, SOURCE: Logica Universalis: Towards a General Theory of Logic
64
TITLE: On the Algebraization of Many-Sorted Logics
AUTHORS: Carlos Caleiro; Ricardo Gonçalves;
PUBLISHED: 2006, SOURCE: 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
AUTHORS: Carlos Caleiro; Ricardo Gonçalves;
PUBLISHED: 2006, SOURCE: 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
INDEXED IN: DBLP
DBLP65
TITLE: Stochastic modelling of OWC wave power plant performance Full Text
AUTHORS: Falcao, AFD ; Rodrigues, RJA;
PUBLISHED: 2002, SOURCE: APPLIED OCEAN RESEARCH, VOLUME: 24, ISSUE: 2
AUTHORS: Falcao, AFD ; Rodrigues, RJA;
PUBLISHED: 2002, SOURCE: APPLIED OCEAN RESEARCH, VOLUME: 24, ISSUE: 2
INDEXED IN: 
Scopus 
WOS
Scopus WOS