Showing 1 - 1 results of 1 for search 'Amélie Gheerbrant', query time: 0.02s Refine Results
  1. 1
    Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees

    Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees by Amélie Gheerbrant, Balder ten Cate

    Published 2012-10-01
    Get full text
    Article

Search Tools: