Search for dissertations about: "Mateus de Oliveira Oliveira"

Found 1 swedish dissertation containing the words Mateus de Oliveira Oliveira.

2. 1. Combinatorial Slice Theory

   Author : Mateus de Oliveira Oliveira; Karl Meinke; Stefan Arnborg; Barbara König; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Combinatorial Slice Theory; Partial Order Theory of Concurrency; Digraph Width Measures; Equational Logic;

   Abstract : Slices are digraphs that can be composed together to form larger digraphs.In this thesis we introduce the foundations of a theory whose aim is to provide ways of defining and manipulating infinite families of combinatorial objects such as graphs, partial orders, logical equations etc. READ MORE