Manuel António Gonçalves Martins


AuthID: R-000-A10

Confirmed Publications: 76



71
TITLE: Automatic structures for semigroup constructions  Full Text
AUTHORS: Andrade, I; Descalco, L ; Manuel A Martins ;
PUBLISHED: 2008, SOURCE: SEMIGROUP FORUM, VOLUME: 76, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef: 4
IN MY: ORCID | ResearcherID
72
TITLE: On the behavioral equivalence between k-data structures
AUTHORS: Manuel A Martins ;
PUBLISHED: 2008, SOURCE: COMPUTER JOURNAL, VOLUME: 51, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | ResearcherID | DBLP
73
TITLE: Behavioural reasoning for conditional equations
AUTHORS: Manuel A Martins ; Don Pigozzi;
PUBLISHED: 2007, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 17, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef: 12
IN MY: ORCID | ResearcherID | DBLP
74
TITLE: Closure properties for the class of behavioral models  Full Text
AUTHORS: Manuel A Martins ;
PUBLISHED: 2007, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 379, ISSUE: 1-2
INDEXED IN: Scopus WOS DBLP CrossRef: 8
IN MY: ORCID | ResearcherID | DBLP
75
TITLE: Behavioral institutions and refinements in generalized hidden logics
AUTHORS: Manuel A Martins ;
PUBLISHED: 2006, SOURCE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 12, ISSUE: 8
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
76
TITLE: On the injectivity of the leibniz operator
AUTHORS: Descalco, L; Martins, MA ;
PUBLISHED: 2005, SOURCE: Bulletin of the Section of Logic, VOLUME: 34, ISSUE: 4
INDEXED IN: Scopus
IN MY: ORCID
Page 8 of 8. Total results: 76.

A place for researchers and their institutions

Useful Links

Get Help

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