Maurício Da Silva Pires | SBPO 2019 | Galoá Proceedings

Universidade Federal Fluminense

Maurício Da Silva Pires

Também publicou em: SBPO 2023

Este é seu perfil? Faça login para acessar seus certificados

Revisitando o Teorema de Courcelle
Maurício Da Silva Pires ¹
Bruno Lopes ¹
Uéverton Souza ¹
¹ Universidade Federal Fluminense
Vol 51, 2019 -
107372

TAG – Teoria e Algoritmos em Grafos

Trabalho completo (oral)

Coautores(as) (2)

Publicações em outros proceedings

SBPO 2023
Twin-treewidth: uma abordagem de tempo exponencial simples para problemas em grafos baseada em lógica modal