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
Mar-2020
A fuzzy modal logic for fuzzy transition systems
Jain, Manisha
;
Madeira, Alexandre
;
Martins, Manuel A.
article
Mar-2020
Boolean dynamics revisited through feedback interconnections
Chaves, Madalena
;
Figueiredo, Daniel
;
Martins, Manuel A.
article
May-2021
Introducing fuzzy reactive graphs: a simple application on biology
Santiago, Regivan
;
Martins, Manuel A.
;
Figueiredo, Daniel
article
Jun-2021
Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic
Costa, Diana
;
Martins, Manuel A.
article
Feb-2022
Graded epistemic logic with public announcement
Benevides, Mário
;
Madeira, Alexandre
;
Martins, Manuel A.
article
Aug-2023
Aggregation-based operations for reversal fuzzy switch graphs
Campos, Suene
;
Santiago, Regivan
;
Martins, Manuel A.
;
Daniel Figueiredo
article
1-Apr-2022
Introduction to reversal fuzzy switch graph
Campos, Suene
;
Santiago, Regivan
;
Martins, Manuel A.
;
Figueiredo, Daniel
article
Results 21-27 of 27 (Search time: 0.004 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
4
Fuzzy systems
4
Hybrid logic
4
Reactive systems
3
Bisimulation
3
Fuzzy switch graphs
2
Abstract algebraic logic
2
Behavioral equivalence
2
Data structures
2
Equivalence classes
2
Formal logic
.
next >
Date issued
11
2020 - 2023
7
2010 - 2019
9
2003 - 2009