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
2015
A cottage industry of lax extensions
Hofmann, Dirk
;
Seal, Gavin J.
article
2015
Dualities for modal algebras from the point of view of triples
Hofmann, Dirk
;
Nora, Pedro
article
2015
Exponentiable approach spaces
Hofmann, Dirk
;
Seal, Gavin J.
article
2015
Representable (T,V)-categories
Chikhladze, Dimitri
;
Clementino, Maria Manuel
;
Hofmann, Dirk
article
2015
Exponential Kleisli monoids as Eilenberg-Moore algebras
Hofmann, Dirk
;
Mynard, Frédéric
;
Seal, Gavin J.
article
1-Sep-2017
Paraconsistency in hybrid logic
Costa, Diana
;
Martins, Manuel A.
article
2016
Spherical f-Tilings by Two Noncongruent Classess of Isosceles Triangles
Breda, A. M. d'Azevedo
;
Dawson, Robert
;
Ribeiro, Patrícia S.
article
23-Sep-2017
A family of graded epistemic logics
Benevides, Mário
;
Madeira, Alexandre
;
Martins, Manuel A.
conferenceObject
Results 31-40 of 135 (Search time: 0.004 seconds).
previous
1
2
3
4
5
6
7
...
14
next
Discover
Author
29
Martins, Manuel A.
23
Breda, Ana
20
Madeira, Alexandre
16
Hofmann, Dirk
9
Neves, Renato
8
Fernandes, Maria Elisa
8
Figueiredo, Daniel
7
Duarte, Rui
7
Leemans, Dimitri
6
Guedes de Oliveira, António
.
next >
Subject
10
GeoGebra
7
Dynamic logic
7
Hybrid logic
7
Hypermaps
6
Regularity
5
Chirality
5
Inclusion
5
Maps
5
Mathematical reasoning
5
Shi arrangement
.
next >
Date issued
16
2020
33
2019
30
2018
15
2017
20
2016
19
2015
1
2014
1
2011