Mateus Aguilar de Oliveira
2174  Ergebnisse:
Personensuche X
?
8

On Supergraphs Satisfying CMSO Properties:

Oliveira, Mateus de Oliveira
Logical Methods in Computer Science.  17, Issue 4 (2021)  - p. , 2021
 
?
9

Representations of Monotone Boolean Functions by Linear Pro..:

Oliveira, Mateus De Oliveira ; Pudlák, Pavel
ACM Transactions on Computation Theory (TOCT).  11 (2019)  4 - p. 1-31 , 2019
 
?
 
?
12

Order Reconfiguration under Width Constraints:

Arrighi, Emmanuel ; Fernau, Henning ; de Oliveira Oliveira, Mateus.
Journal of Graph Algorithms and Applications.  27 (2023)  6 - p. 409-431 , 2023
 
?
14

Second-Order Finite Automata:

de Melo, Alexsander Andrade ; de Oliveira Oliveira, Mateus
Theory of Computing Systems.  66 (2022)  4 - p. 861-909 , 2022
 
1-15