Paulo Alexandre Carreira Mateus


AuthID: R-000-E8H

Confirmed Publications: 52



51
TITLE: Non-determinism and uncertainty in the situation calculus  Full Text
AUTHORS: Pinto, J; Sernadas, A ; Sernadas, C ; Mateus, P ;
PUBLISHED: 2000, SOURCE: Symposium on Special Tack on Uncetain Reasoning Held at the 12th Intenational FLAIRS Conference in INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS, VOLUME: 8, ISSUE: 2
INDEXED IN: Scopus WOS
IN MY: ORCID
52
TITLE: Precategories for combining probabilistic automata
AUTHORS: Mateus, P ; Sernadas, A ; Sernadas, C ;
PUBLISHED: 1999, SOURCE: CTCS '99, Conference on Category Theory and Computer Science in Electronic Notes in Theoretical Computer Science, VOLUME: 29
INDEXED IN: Scopus CrossRef
IN MY: ORCID
Page 6 of 6. Total results: 52.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service