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
CIDMA - Complex and Hypercomplex Analysis Group
CIDMA - Functional Analysis and Applications Group
CIDMA - Gravitational Geometry and Dynamics Group
CIDMA - History of Mathematics and Mathematical Education Group
CIDMA - Optimization, Graph Theory and Combinatorics Group
CIDMA - Probability and Statistics Group
CIDMA - Systems and Control Group
CIDMA - Artigos
CIDMA - Capítulo de livro
CIDMA - Comunicações
CIDMA - Livro
CIDMA - 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
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
27-Jun-2023
Stepwise development of paraconsistent processes
Cunha, Juliana
;
Madeira, Alexandre
;
Barbosa, Luís Soares
bookPart
Jun-2023
idDL2DL – interval syntax to dL
Santos, Jaime
;
Figueiredo, Daniel
;
Madeira, Alexandre
bookPart
2023
Structured specification of paraconsistent transition systems
Cunha, Juliana
;
Madeira, Alexandre
;
Barbosa, Luís Soares
article
2023
Weighted synchronous automata
Gomes, Leandro
;
Madeira, Alexandre
;
Barbosa, Luis Soares
article
2023
Relating Kleene algebras with pseudo uninorms
Bedregal, Benjamin
;
Santiago, Regivan
;
Madeira, Alexandre
;
Martins, Manuel A.
bookPart
23-Mar-2023
Paraconsistent transition systems
Cruz, Ana
;
Madeira, Alexandre
;
Barbosa, Luís S.
article
2023
Capturing qubit decoherence through paraconsistent transition systems
Barbosa, Luís Soares
;
Madeira, Alexandre
conferenceObject
Oct-2023
Recent trends in algebraic development techniques: 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers
Madeira, Alexandre
;
Martins, Manuel A.
book
Results 1-8 of 8 (Search time: 0.005 seconds).
previous
1
next
Discover
Author
3
Barbosa, Luís Soares
2
Cunha, Juliana
2
Martins, Manuel A.
1
Barbosa, Luis Soares
1
Barbosa, Luís S.
1
Bedregal, Benjamin
1
Cruz, Ana
1
Figueiredo, Daniel
1
Gomes, Leandro
1
Santiago, Regivan
.
next >
Subject
2
Paraconsistent logic
1
Architecting
1
Artificial intelligence
1
Automata theory
1
Boolean algebra
1
Boolean functions
1
Computational linguistics
1
Computer programming
1
Dynamic Logic
1
Formal languages
.
next >