31
TÍTULO: Fibring as Biporting Subsumes Asymmetric Combinations  Full Text
AUTORES: Rasga, J; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2014, FONTE: STUDIA LOGICA, VOLUME: 102, NÚMERO: 5
INDEXADO EM: Scopus WOS CrossRef
32
TÍTULO: Craig Interpolation in the Presence of Unreliable Connectives  Full Text
AUTORES: Rasga, J; Sernadas, C ; Sernadas, A ;
PUBLICAÇÃO: 2014, FONTE: Logica Universalis, VOLUME: 8, NÚMERO: 3-4
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
33
TÍTULO: Precipitation thresholds for drought recognition: A further use of the standardized precipitation index, SPI
AUTORES: Santos, JF; Portela, MM ; Naghettini, M; Matos, JP; Silva, AT;
PUBLICAÇÃO: 2013, FONTE: 7th International Conference on River Basin Management, RBM 2013 in WIT Transactions on Ecology and the Environment, VOLUME: 172
INDEXADO EM: Scopus CrossRef
34
TÍTULO: Revisiting the Equivalence of Shininess and Politeness
AUTORES: Filipe Casal ; João Rasga;
PUBLICAÇÃO: 2013, FONTE: 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013 in Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings, VOLUME: 8312
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
35
TÍTULO: Trends in hydrologic time series
AUTORES: Portela, MM ; Santos, JF; Quintela, AC; Vaz, C;
PUBLICAÇÃO: 2009, FONTE: 5th International Conference on River Basin Management, River Basin Management 2009 in WIT Transactions on Ecology and the Environment, VOLUME: 124
INDEXADO EM: Scopus CrossRef
36
TÍTULO: Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification
AUTORES: Cruz-Filipe, L; Rasga, J; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2008, FONTE: Journal of Logic and Computation, VOLUME: 18, NÚMERO: 6
INDEXADO EM: CrossRef
NO MEU: ORCID
37
TÍTULO: ON THE POWER OF QUANTUM TAMPER-PROOF DEVICES  Full Text
AUTORES: BOUDA, J; MATEUS, P; PAUNKOVIC, N; RASGA, J;
PUBLICAÇÃO: 2008, FONTE: International Journal of Quantum Information - Int. J. Quanum Inform., VOLUME: 06, NÚMERO: 02
INDEXADO EM: CrossRef
NO MEU: ORCID
38
TÍTULO: Estimation of monthly stream flows based on the sequential water budget technique applied to the Thornthwaite potential evapotranspiration
AUTORES: Portela, MM ; Santos, JF;
PUBLICAÇÃO: 2007, FONTE: 4th International Conference on River Basin Management in RIVER BASIN MANAGEMENT IV, VOLUME: 104
INDEXADO EM: Scopus WOS CrossRef
39
TÍTULO: Thornthwaite and Penman-Monteith potential evapotranspiration and estimation of monthly stream flows [Evapotranspirações potenciais de thornthwaite e de penman-monteith e estimação de escoamentos mensais]
AUTORES: Portela, MM; Santos, JF;
PUBLICAÇÃO: 2006, FONTE: International Symposium on Hydraulic Structures - XXII Congreso Latinoamericano de Hidraulica - 22nd Latin American Congress on Hydraulics 2006 in International Symposium on Hydraulic Structures - XXII Congreso Latinoamericano de Hidraulica
INDEXADO EM: Scopus
40
TÍTULO: Fibring of Logics as a Universal Construction
AUTORES: Caleiro, C ; Rasga, J; Sernadas, C ; Carnielli, W;
PUBLICAÇÃO: 2005, FONTE: Handbook of Philosophical Logic - Handbook of Philosophical Logic, 2nd Edition
INDEXADO EM: CrossRef
NO MEU: ORCID
Página 4 de 5. Total de resultados: 42.