BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × Spain
Collaborated with:
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 DBLP: Oliveira:Mateus_de_Oliveira

Contributed to:

ICGT 20152015
LATA 20122012
CSL 20172017
CADE 20192019

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.