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
CIDMA - Centro de Investigação e Desenvolvimento em Matemática e Aplicações
CIDMA - Algebra and Geometry Group
AGG - Artigos
AGG - Capítulo de livro
AGG - Comunicações
AGG - Livro
AGG - Relatórios
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
Aug-2021
Observational interpretations of hybrid dynamic logic with binders and silent transitions
Hennicker, Rolf
;
Knapp, Alexander
;
Madeira, Alexandre
article
Feb-2020
Cartesian closed exact completions in topology
Clementino, Maria Manuel
;
Hofmann, Dirk
;
Ribeiro, Willian
article
2020
A four-valued hybrid logic with non-dual modal operators
Costa, Diana
;
Martins, Manuel A.
bookPart
Aug-2020
Systematic maximum sum rank codes
Almeida, Paulo
;
Martínez-Peñas, Umberto
;
Napp, Diego
article
15-Dec-2021
Learning complex functions with GeoGebra
Breda, Ana Maria D’Azevedo
;
Santos, José Manuel dos Santos dos
article
2021
Towards a specification theory for fuzzy modal logic
Jain, Manisha
;
Gomes, Leandro
;
Madeira, Alexandre
;
Barbosa, Luis S.
bookPart
14-Aug-2020
Promover o raciocínio geométrico em alunos com Perturbação do Espectro do Autismo através de um ambiente digital
Santos, Maria Isabel Gomes dos
;
Breda, Ana Maria Reis d’Azevedo
;
Almeida, Ana Margarida Pisco
article
14-Apr-2022
A logic for paraconsistent transition systems
Cruz, Ana
;
Madeira, Alexandre
;
Barbosa, Luís Soares
article
13-Feb-2021
A semantics and a logic for Fuzzy Arden Syntax
Gomes, Leandro
;
Madeira, Alexandre
;
Barbosa, Luís Soares
article
19-Nov-2020
Reversal Fuzzy Switch Graphs
Campos, Suene
;
Santiago, Regivan
;
Martins, Manuel A.
;
Figueiredo, Daniel
article
Results 1-10 of 85 (Search time: 0.014 seconds).
previous
1
2
3
4
...
9
next
Discover
Author
17
Madeira, Alexandre
16
Martins, Manuel A.
7
Figueiredo, Daniel
7
Pacetti, Ariel
6
Breda, A.
6
Hofmann, Dirk
5
Barbosa, Luís Soares
5
Beschastnyi, Ivan
5
Breda, Ana
5
Nora, Pedro
.
next >
Subject
4
Dynamic logic
3
Bisimulation
3
Emotions
3
Fuzzy logic
3
Fuzzy systems
3
Maps
3
Modal logic
3
Paraconsistent logic
3
Q-curves
3
Reactive systems
.
next >
Date issued
2
2024
36
2023
12
2022
19
2021
16
2020