Skip navigation
sign on to:
my account
receive email
updates
edit profile
language
Português
English
submit
communities
browse
Browse Items by:
Issue Date
Author
Advisor
Title
Subject
Document Type
Access Type
help
Home
Search
Search:
All of DSpace
DMat - Departamento de Matemática
DMat - Artigos
DMat - Capítulo de livro
DMat - Comunicações
DMat - Dissertações de mestrado
DMat - Livro
DMat - Relatórios
DMat - Teses de doutoramento
for
Current filters:
Title
Author
Subject
Date Issued
Document type
Access type
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Document type
Access type
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Item hits:
Issue Date
Title
Author(s)
Type
Access Type
15-Aug-2016
Continuity as a computational effect
Neves, Renato
;
Barbosa, Luis S.
;
Hofmann, Dirk
;
Martins, Manuel A.
article
Dec-2019
Completeness in Equational Hybrid Propositional Type Theory
Manzano, Maria
;
Martins, Manuel A.
;
Huertas, Antonia
article
2011
Hybrid specification of reactive systems: An institutional approach
Madeira, A.
;
Faria, J.M.
;
Martins, Manuel A.
;
Barbosa, L.S.
bookPart
2006
Behavioral institutions and refinements in generalized hidden logics
Martins, Manuel A.
article
2007
Behavioural reasoning for conditional equations
Martins, Manuel A.
;
Pigozzi, D.
article
2009
Refinement by interpretation in a general setting
Martins, Manuel A.
;
Madeira, A.
;
Barbosa, L.S.
article
2009
Behavioral algebraization of logics
Caleiro, C.
;
Gonçalves, R.
;
Martins, Manuel A.
article
2008
On the behavioral equivalence between k-data structures
Martins, Manuel A.
article
2008
Automatic structures for semigroup constructions
Andrade, I.
;
Descalço, L.
;
Martins, Manuel A.
article
2007
Closure properties for the class of behavioral models
Martins, Manuel A.
article
Results 1-10 of 27 (Search time: 0.005 seconds).
previous
1
2
3
next
Discover
Author
5
Madeira, Alexandre
4
Figueiredo, Daniel
4
Santiago, Regivan
3
Barbosa, L.S.
3
Campos, Suene
3
Madeira, A.
2
Benevides, Mario R. F.
2
Costa, Diana
2
Descalço, L.
2
Huertas, Antonia
.
next >
Subject
1
Admissible rules
1
Aggregations functions
1
Algebra
1
Algebraic specification
1
Algebraic specifications
1
Asynchronous versus synchronous u...
1
Attractor computation
1
Automata theory
1
Automatic semigroup
1
Behavioral Equivalence Relation
.
< previous
next >
Date issued
11
2020 - 2023
7
2010 - 2019
9
2003 - 2009