Sökning: "Mateus de Oliveira Oliveira"

Hittade 1 avhandling innehållade orden Mateus de Oliveira Oliveira.

  1. 1. Combinatorial Slice Theory

    Detta är en avhandling från Stockholm : KTH Royal Institute of Technology

    Författare :Mateus de Oliveira Oliveira; KTH.; [2013]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Combinatorial Slice Theory; Partial Order Theory of Concurrency; Digraph Width Measures; Equational Logic;

    Sammanfattning : 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. LÄS MER