Paulo Alexandre Carreira Mateus
AuthID: R-000-E8H
71
TITLE: Quantum Institutions
AUTHORS: Carlos Caleiro; Paulo Mateus; Amílcar Sernadas; Cristina Sernadas ;
PUBLISHED: 2006, SOURCE: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, VOLUME: 4060
AUTHORS: Carlos Caleiro; Paulo Mateus; Amílcar Sernadas; Cristina Sernadas ;
PUBLISHED: 2006, SOURCE: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, VOLUME: 4060
INDEXED IN: 
DBLP
DBLP72
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
73
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
74
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
75
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
