Showing 1 - 3 results of 3 for search 'Balder ten Cate', query time: 0.02s Refine Results
  1. 1
    Unary negation

    Unary negation by Luc Segoufin, Balder ten Cate

    Published 2013-09-01
    Get full text
    Article
  2. 2
    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
  3. 3
    Lindstrom theorems for fragments of first-order logic

    Lindstrom theorems for fragments of first-order logic by Johan van Benthem, Balder ten Cate, Jouko Vaananen

    Published 2009-08-01
    Get full text
    Article

Search Tools: