Showing 1 - 7 results of 7 for search 'Vanden Boom, M', query time: 0.04s Refine Results
  1. 1
    Weak cost automata over infinite trees

    Weak cost automata over infinite trees by Vanden Boom, M

    Published 2012
    Thesis
  2. 2
    Definability and interpolation within decidable fixpoint logics

    Definability and interpolation within decidable fixpoint logics by Benedikt, M, Bourhis, P, Vanden Boom, M

    Published 2019
    Journal article
  3. 3
    Characterizing definability in decidable fixpoint logics

    Characterizing definability in decidable fixpoint logics by Benedikt, M, Bourhis, P, Vanden Boom, M

    Published 2017
    Conference item
  4. 4
    Effective interpolation and preservation in guarded logics

    Effective interpolation and preservation in guarded logics by Benedikt, M, Ten Cate, B, Vanden Boom, M

    Published 2015
    Journal article
  5. 5
    Query answering with transitive and linear-ordered data

    Query answering with transitive and linear-ordered data by Vanden Boom, M, Benedikt, M, Amarilli, A, Bourhis, P

    Published 2016
    Conference item
  6. 6
    Query answering with transitive and linear-ordered data

    Query answering with transitive and linear-ordered data by Amarilli, A, Benedikt, M, Bourhis, P, Vanden Boom, M

    Published 2018
    Journal article
  7. 7
    Inference from visible information and background knowledge

    Inference from visible information and background knowledge by Benedikt, M, Bourhis, P, ten Cate, B, Puppis, G, Vanden Boom, M

    Published 2021
    Journal article

Search Tools: