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
2007
Behavioural reasoning for conditional equations
Martins, Manuel A.
;
Pigozzi, D.
article
2007
Closure properties for the class of behavioral models
Martins, Manuel A.
article
2008
Automatic structures for semigroup constructions
Andrade, I.
;
Descalço, L.
;
Martins, Manuel A.
article
2010
Admissible equivalence systems
Babenyshev, Sergey
;
Martins, Manuel A.
article
2003
Some applications of propositional calculus
Manfredini, Enrique H.
;
Martins, Manuel A.
article
2005
On the injectivity of the Leibniz operator
Descalço, L.
;
Martins, Manuel A.
article
2009
Refinement by interpretation in a general setting
Martins, Manuel A.
;
Madeira, A.
;
Barbosa, L.S.
article
2011
Hybrid specification of reactive systems: An institutional approach
Madeira, A.
;
Faria, J.M.
;
Martins, Manuel A.
;
Barbosa, L.S.
bookPart
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
Results 1-10 of 23 (Search time: 0.004 seconds).
previous
1
2
3
next
Discover
Author
5
Madeira, Alexandre
3
Barbosa, L.S.
3
Figueiredo, Daniel
3
Madeira, A.
2
Benevides, Mario R. F.
2
Costa, Diana
2
Descalço, L.
2
Santiago, Regivan
1
Andrade, I.
1
Babenyshev, Sergey
.
next >
Subject
3
Bisimulation
3
Hybrid logic
2
Abstract algebraic logic
2
Behavioral equivalence
2
Data structures
2
Equivalence classes
2
Formal logic
2
Formal methods
2
Fuzzy systems
2
Leibniz congruence
.
next >
Date issued
8
2020 - 2022
6
2010 - 2019
9
2003 - 2009