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
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.004 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 >