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
Dec-2019
Completeness in Equational Hybrid Propositional Type Theory
Manzano, Maria
;
Martins, Manuel A.
;
Huertas, Antonia
article
2019
Optimal impulse control of dynamical systems
Piunovskiy, Alexey
;
Plakhov, Alexander
;
Torres, Delfim F. M.
;
Zhang, Yi
article
Apr-2019
Limits in categories of Vietoris coalgebras
Hofmann, Dirk
;
Neves, Renato
;
Nora, Pedro
article
23-Aug-2019
Mathematical Circus clown tricks
Hall, Andreia
;
Almeida, Paulo
;
Vettori, Paolo
;
País, Sónia
conferenceObject
30-Sep-2019
A Dawson-like clustering of human mitochondrial DNA sequences based on protein coding region
Soares, Inês
;
Duarte, Rui
;
Guedes de Oliveira, António
;
Amorim, António
article
10-Feb-2019
Partial parking functions
Duarte, Rui
;
Guedes de Oliveira, António
article
2019
Generalising KAT to verify weighted computations
Gomes, Leandro
;
Madeira, Alexandre
;
Barbosa, Luis S.
article
Jul-2019
On the importance of assessment on flipped learning
Descalço, Luís
;
Carvalho, Paula
conferenceObject
13-Mar-2019
New classes of monohedral spherical tilings by non-convex spherical hexagons and non-convex spherical Pentagons with GeoGebra
Breda, Ana
;
Santos, José Santos dos
conferenceObject
Jun-2019
Rigid first-order hybrid logic
Blackburn, Patrick
;
Martins, Manuel A.
;
Manzano, María
;
Huertas, Antonia
bookPart
Results 1-10 of 33 (Search time: 0.003 seconds).
previous
1
2
3
4
next
Discover
Author
8
Madeira, Alexandre
7
Martins, Manuel A.
4
Radu, Eugen
3
Duarte, Rui
3
Gomes, Leandro
3
Guedes de Oliveira, António
3
Herdeiro, C.
3
Herdeiro, Carlos A. R.
3
Radu, E.
2
Almeida, M. R.
.
next >
Subject
5
Dynamic logic
4
Black holes
2
Formal methods
2
GeoGebra
2
Hybrid logic
2
Ish arrangement
2
Programs verification
2
Scalarization
2
Serious game
2
Shi arrangement
.
next >