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
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
2009
Refinement by interpretation in a general setting
Martins, Manuel A.
;
Madeira, A.
;
Barbosa, L.S.
article
2007
Closure properties for the class of behavioral models
Martins, Manuel A.
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
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
2006
Behavioral institutions and refinements in generalized hidden logics
Martins, Manuel A.
article
Results 1-9 of 9 (Search time: 0.003 seconds).
previous
1
next
Discover
Author
2
Descalço, L.
1
Andrade, I.
1
Barbosa, L.S.
1
Caleiro, C.
1
Gonçalves, R.
1
Madeira, A.
1
Manfredini, Enrique H.
1
Pigozzi, D.
Subject
2
Behavioral equivalence
2
Data structures
2
Equivalence classes
2
Formal logic
2
Leibniz congruence
1
Abstract algebraic logic
1
Abstracting
1
Algebra
1
Algebraic specification
1
Automata theory
.
next >
Date issued
2
2009
2
2008
2
2007
1
2006
1
2005
1
2003