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
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
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
13-Feb-2021
A semantics and a logic for Fuzzy Arden Syntax
Gomes, Leandro
;
Madeira, Alexandre
;
Barbosa, Luís Soares
article
27-Aug-2021
Pak-Stanley labeling of the m-Catalan hyperplane arrangement
Duarte, Rui
;
Guedes de Oliveira, António
article
2021
Generalizações da etiquetagem de Pak-Stanley
Duarte, Rui
;
Guedes de Oliveira, António
article
2021
Introducing interval differential dynamic logic
Figueiredo, Daniel
bookPart
Dec-2021
Abordagens interdisciplinares: contexto pandemia COVID-19
Breda, Ana Maria Reis d’Azevedo
;
Cruz, Catarina Maria Neto da
bookPart
2021
Adding proof calculi to epistemic logics with structured knowledge
Benevides, Mario
;
Madeira, Alexandre
;
Martins, Manuel A.
bookPart
Jan-2021
A new rank metric for convolutional codes
Almeida, P.
;
Napp, D.
article
Results 1-10 of 19 (Search time: 0.037 seconds).
previous
1
2
next
Discover
Author
5
Madeira, Alexandre
4
Martins, Manuel A.
2
Duarte, Rui
2
Figueiredo, Daniel
2
Gomes, Leandro
2
Guedes de Oliveira, António
2
Hennicker, Rolf
2
Knapp, Alexander
2
Santos, José Manuel dos Santos dos
1
Afonso, R.
.
next >
Subject
1
Biological systems
1
Catalan arrangement
1
Column distance
1
Complex functions
1
Convolutional codes
1
Coordinate-free quantization proc...
1
Differential dynamic logic
1
Digital learning environment
1
Formação de professores
1
Four-valued semantics
.
< previous
next >