Travelled to:1 × Italy
1 × Spain
Collaborated with:∅ A.A.d.Melo
Talks about:supergraph (1) transform (1) structur (1) reachabl (1) properti (1) satisfi (1) regular (1) partial (1) languag (1) generat (1)
Person: Mateus de Oliveira Oliveira
DBLP: Oliveira:Mateus_de_Oliveira
Contributed to:
2015
2012
2017
2019Wrote 4 papers:
- ICGT-2015-Oliveira #graph transformation #reachability #slicing
- Reachability in Graph Transformation Systems and Slice Languages (MdOO), pp. 121–137.
- LATA-2012-Oliveira #generative #partial order
- Canonizable Partial Order Generators (MdOO), pp. 445–457.
- CSL-2017-Oliveira #on the
- On Supergraphs Satisfying CMSO Properties (MdOO), p. 15.
- CADE-2019-MeloO #finite #on the
- On the Width of Regular Classes of Finite Structures (AAdM, MdOO), pp. 18–34.