Paulo Alexandre Carreira Mateus
AuthID: R-000-E8H
71
TÃTULO: NON-DETERMINISM AND UNCERTAINTY IN THE SITUATION CALCULUS Full Text
AUTORES: JAVIER PINTO; AMÍLCAR SERNADAS; CRISTINA SERNADAS; PAULO MATEUS;
PUBLICAÇÃO: 2000, FONTE: International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems - Int. J. Unc. Fuzz. Knowl. Based Syst., VOLUME: 08, NÚMERO: 02
AUTORES: JAVIER PINTO; AMÍLCAR SERNADAS; CRISTINA SERNADAS; PAULO MATEUS;
PUBLICAÇÃO: 2000, FONTE: International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems - Int. J. Unc. Fuzz. Knowl. Based Syst., VOLUME: 08, NÚMERO: 02
72
TÃTULO: Realization of probabilistic automata: Categorical approach
AUTORES: Mateus, P; Sernadas, A; Sernadas, C;
PUBLICAÇÃO: 2000, FONTE: 14th International Workshop on Algebraic Development Techniques, WADT 1999 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1827
AUTORES: Mateus, P; Sernadas, A; Sernadas, C;
PUBLICAÇÃO: 2000, FONTE: 14th International Workshop on Algebraic Development Techniques, WADT 1999 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1827
