Paulo Alexandre Carreira Mateus
AuthID: R-000-E8H
71
TÃTULO: Editorial
AUTORES: Walter Carnielli; Paulo Mateus;
PUBLICAÇÃO: 2005, FONTE: Logic Journal of the IGPL, VOLUME: 13, NÚMERO: 6
AUTORES: Walter Carnielli; Paulo Mateus;
PUBLICAÇÃO: 2005, FONTE: Logic Journal of the IGPL, VOLUME: 13, NÚMERO: 6
72
TÃTULO: Universal aspects of probabilistic automata
AUTORES: Lutz Schroder; Paulo Mateus;
PUBLICAÇÃO: 2002, FONTE: Mathematical Structures in Computer Science, VOLUME: 12, NÚMERO: 4
AUTORES: Lutz Schroder; Paulo Mateus;
PUBLICAÇÃO: 2002, FONTE: Mathematical Structures in Computer Science, VOLUME: 12, NÚMERO: 4
73
TÃTULO: Observations and the Probabilistic Situation Calculus
AUTORES: Paulo Mateus; Antonio Pacheco; Javier Pinto;
PUBLICAÇÃO: 2002, FONTE: 8th International Conference on Principles of Knowledge Representation and Reasoning, KR 2002 in Proceedings of the International Conference on Knowledge Representation and Reasoning
AUTORES: Paulo Mateus; Antonio Pacheco; Javier Pinto;
PUBLICAÇÃO: 2002, FONTE: 8th International Conference on Principles of Knowledge Representation and Reasoning, KR 2002 in Proceedings of the International Conference on Knowledge Representation and Reasoning
INDEXADO EM: 
Scopus
Scopus74
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
75
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
