Showing 1 - 4 results of 4 for search 'Balder ten Cate', query time: 0.03s 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
  4. 4
    Preservation theorems for Tarski's relation algebra

    Preservation theorems for Tarski's relation algebra by Bart Bogaerts, Balder ten Cate, Brett McLean, Jan Van den Bussche

    Published 2024-09-01
    Get full text
    Article

Search Tools: