Ricardo João Rodrigues Gonçalves
AuthID: R-000-FBQ
51
TÃTULO: Parametrized Equilibrium Logic
AUTORES: Ricardo Gonçalves; José Júlio Alferes ;
PUBLICAÇÃO: 2011, FONTE: Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science
AUTORES: Ricardo Gonçalves; José Júlio Alferes ;
PUBLICAÇÃO: 2011, FONTE: Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science
52
TÃTULO: Mosquito Surveys and West Nile Virus Screening in Two Different Areas of Southern Portugal, 2004-2007
AUTORES: Antonio Paulo G Almeida ; Ferdinando B Freitas; Maria Teresa Novo ; Carla A Sousa ; Joao C Rodrigues; Ricardo Alves; Aida Esteves ;
PUBLICAÇÃO: 2010, FONTE: 1st Annual Arbo-Zoonet Annual Meeting in VECTOR-BORNE AND ZOONOTIC DISEASES, VOLUME: 10, NÚMERO: 7
AUTORES: Antonio Paulo G Almeida ; Ferdinando B Freitas; Maria Teresa Novo ; Carla A Sousa ; Joao C Rodrigues; Ricardo Alves; Aida Esteves ;
PUBLICAÇÃO: 2010, FONTE: 1st Annual Arbo-Zoonet Annual Meeting in VECTOR-BORNE AND ZOONOTIC DISEASES, VOLUME: 10, NÚMERO: 7
53
TÃTULO: Parametrized Logic Programming
AUTORES: Ricardo Gonçalves; José Júlio Alferes ;
PUBLICAÇÃO: 2010, FONTE: Logics in Artificial Intelligence - Lecture Notes in Computer Science
AUTORES: Ricardo Gonçalves; José Júlio Alferes ;
PUBLICAÇÃO: 2010, FONTE: Logics in Artificial Intelligence - Lecture Notes in Computer Science
54
TÃTULO: Behavioral Algebraization of Logics Full Text
AUTORES: Carlos Caleiro ; Ricardo Gonçalves; Manuel A Martins ;
PUBLICAÇÃO: 2009, FONTE: Studia Logica, VOLUME: 91, NÚMERO: 1
AUTORES: Carlos Caleiro ; Ricardo Gonçalves; Manuel A Martins ;
PUBLICAÇÃO: 2009, FONTE: Studia Logica, VOLUME: 91, NÚMERO: 1
55
TÃTULO: Behavioral algebraization of da Costa's C-systems
AUTORES: Caleiro, C ; Goncalves, R;
PUBLICAÇÃO: 2009, FONTE: Journal of Applied Non-Classical Logics, VOLUME: 19, NÚMERO: 2
AUTORES: Caleiro, C ; Goncalves, R;
PUBLICAÇÃO: 2009, FONTE: Journal of Applied Non-Classical Logics, VOLUME: 19, NÚMERO: 2
56
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
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
DBLP57
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
AUTORES: Carlos Caleiro; Ricardo Gonçalves;
PUBLICAÇÃO: 2009, FONTE: Journal of Applied Non-Classical Logics, VOLUME: 19, NÚMERO: 2
INDEXADO EM: DBLP
DBLP58
TÃTULO: Equipollent logical systems Full Text
AUTORES: Caleiro, C ; Goncalves, R;
PUBLICAÇÃO: 2007, FONTE: Logica Universalis: Towards a General Theory of Logic
AUTORES: Caleiro, C ; Goncalves, R;
PUBLICAÇÃO: 2007, FONTE: Logica Universalis: Towards a General Theory of Logic
59
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
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
DBLP60
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
AUTORES: Falcao, AFD ; Rodrigues, RJA;
PUBLICAÇÃO: 2002, FONTE: APPLIED OCEAN RESEARCH, VOLUME: 24, NÚMERO: 2
INDEXADO EM: 
Scopus 
WOS
Scopus WOS