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
Aug-2016
An exercise on the generation of many-valued dynamic logics
Madeira, Alexandre
;
Neves, Renato
;
Martins, Manuel A.
article
15-Apr-2019
On interval dynamic logic: Introducing quasi-action lattices
Santiago, Regivan
;
Bedregal, Benjamín
;
Madeira, Alexandre
;
Martins, Manuel A.
article
5-Oct-2018
A logic for the stepwise development of reactive systems
Madeira, Alexandre
;
Barbosa, Luís S.
;
Hennicker, Rolf
;
Martins, Manuel A.
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
2019
Taming hierarchical connectors
Proença, José
;
Madeira, Alexandre
bookPart
2019
On the generation of equational dynamic logics for weighted imperative programs
Gomes, Leandro
;
Madeira, Alexandre
;
Jain, Manisha
;
Barbosa, Luis S.
bookPart
2019
Logics for Petri nets with propagating failures
Gomes, Leandro
;
Madeira, Alexandre
;
Benevides, Mario
bookPart
29-Jul-2021
Hybrid dynamic logic institutions for event/data-based systems
Hennicker, Rolf
;
Knapp, Alexander
;
Madeira, Alexandre
article
Results 1-10 of 11 (Search time: 0.003 seconds).
previous
1
2
next
Discover
Author
11
Madeira, Alexandre
4
Gomes, Leandro
4
Hennicker, Rolf
3
Knapp, Alexander
3
Martins, Manuel A.
2
Barbosa, Luis S.
2
Jain, Manisha
1
Barbosa, Luís S.
1
Barbosa, Luís Soares
1
Bedregal, Benjamín
.
next >
Subject
3
Fuzzy logic
2
Formal methods
2
Formal specification
2
Specification
1
Action lattice
1
Hybrid logic
1
Intervals
1
Kleene algebra
1
Logic
1
Many-valued logic
.
next >
Date issued
4
2021
5
2019
1
2018
1
2016