Found: 8

Select item for more details and to access through your institution.

  • UNARY NEGATION.

    Published in:
    Logical Methods in Computer Science (LMCS), 2013, v. 9, n. 3, p. 1, doi. 10.2168/LMCS-9(3:25)2013
    By:
    • CATE, BALDER TEN;
    • SEGOUFIN, LUC
    Publication type:
    Article

  • Foreword: Special Issue on Database Theory.

    Published in:
    2015
    By:
    • ten Cate, Balder;
    • Tan, Wang-Chiew
    Publication type:
    Editorial

  • Foreword.

    Published in:
    2011
    By:
    • Atserias, Albert;
    • Bojańczyk, Mikołaj;
    • ten Cate, Balder;
    • Fagin, Ronald;
    • Geerts, Floris;
    • Ross, Kenneth
    Publication type:
    Editorial

  • Axiomatizing the Logical Core of XPath 2.0.

    Published in:
    Theory of Computing Systems, 2009, v. 44, n. 4, p. 561, doi. 10.1007/s00224-008-9151-9
    By:
    • ten Cate, Balder;
    • Marx, Maarten
    Publication type:
    Article

  • SOME MODEL THEORY OF GUARDED NEGATION.

    Published in:
    Journal of Symbolic Logic, 2018, v. 83, n. 4, p. 1307, doi. 10.1017/jsl.2018.64
    By:
    • BÁRÁNY, VINCE;
    • BENEDIKT, MICHAEL;
    • CATE, BALDER TEN
    Publication type:
    Article

  • Hybrid logics with Sahlqvist axioms.

    Published in:
    Logic Journal of the IGPL, 2005, v. 13, n. 3, p. 293, doi. 10.1093/jigpal/jzi024
    By:
    • ten Cate, Balder;
    • Marx, Maarten;
    • Viana, Petrúcio
    Publication type:
    Article

  • Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators.

    Published in:
    Journal of Logic & Computation, 2006, v. 16, n. 2, p. 177, doi. 10.1093/logcom/exi056
    By:
    • Bezhanishvili, Nick;
    • Cate, Balder Ten
    Publication type:
    Article

  • On Core XPath with Inflationary Fixed Points.

    Published in:
    RAIRO - Theoretical Informatics & Applications, 2013, v. 47, n. 1, p. 3, doi. 10.1051/ita/2012027
    By:
    • Afanasiev, Loredana;
    • Cate, Balder ten
    Publication type:
    Article