Paulo Alexandre Carreira Mateus
AuthID: R-000-E8H
71
TITLE: Universal aspects of probabilistic automata
AUTHORS: Lutz Schroder; Paulo Mateus;
PUBLISHED: 2002, SOURCE: Mathematical Structures in Computer Science, VOLUME: 12, ISSUE: 4
AUTHORS: Lutz Schroder; Paulo Mateus;
PUBLISHED: 2002, SOURCE: Mathematical Structures in Computer Science, VOLUME: 12, ISSUE: 4
72
TITLE: NON-DETERMINISM AND UNCERTAINTY IN THE SITUATION CALCULUS Full Text
AUTHORS: JAVIER PINTO; AMÍLCAR SERNADAS; CRISTINA SERNADAS; PAULO MATEUS;
PUBLISHED: 2000, SOURCE: International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems - Int. J. Unc. Fuzz. Knowl. Based Syst., VOLUME: 08, ISSUE: 02
AUTHORS: JAVIER PINTO; AMÍLCAR SERNADAS; CRISTINA SERNADAS; PAULO MATEUS;
PUBLISHED: 2000, SOURCE: International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems - Int. J. Unc. Fuzz. Knowl. Based Syst., VOLUME: 08, ISSUE: 02
73
TITLE: Realization of probabilistic automata: Categorical approach
AUTHORS: Mateus, P; Sernadas, A; Sernadas, C;
PUBLISHED: 2000, SOURCE: 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
AUTHORS: Mateus, P; Sernadas, A; Sernadas, C;
PUBLISHED: 2000, SOURCE: 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