Paulo Alexandre Carreira Mateus
AuthID: R-000-E8H
71
TITLE: Editorial
AUTHORS: Walter Carnielli; Paulo Mateus;
PUBLISHED: 2005, SOURCE: Logic Journal of the IGPL, VOLUME: 13, ISSUE: 6
AUTHORS: Walter Carnielli; Paulo Mateus;
PUBLISHED: 2005, SOURCE: Logic Journal of the IGPL, VOLUME: 13, ISSUE: 6
72
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
73
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
74
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
