Treffer 1 – 7 von 7 für Suche 'Cate, Balder ten', Suchdauer: 0,06s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Complete axiomatizations of MSO, FO(TC1), FO(LFP1) on finite trees

    Complete axiomatizations of MSO, FO(TC1), FO(LFP1) on finite trees von Gheerbrant, Amélie, Cate, Balder ten

    Veröffentlicht 2008
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Guarded fragments with constants

    Guarded fragments with constants von Cate, Balder ten, Franceschet, Massimo

    Veröffentlicht 2004
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Generating plans from proofs the interpolation-based approach to query reformulation

    Generating plans from proofs the interpolation-based approach to query reformulation von Benedikt, Michael, Leblay, Julien, Cate, Balder ten, Tsamoura, Efthymia

    Veröffentlicht 2016
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  4. 4
    The importance of being discrete

    The importance of being discrete von Cate, Balder ten, Litak, Tadeusz

    Veröffentlicht 2007
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    On the complexity of hybrid logics with binders

    On the complexity of hybrid logics with binders von Cate, Balder ten, Franceschet, Massimo

    Veröffentlicht 2005
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Transfer results for hybrid logic the case without satisfaction operators

    Transfer results for hybrid logic the case without satisfaction operators von Bezhanishvili, Nick, Cate, Balder ten

    Veröffentlicht 2004
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    The first order formulas preserved under ultrafilter extensions are not recursively enumerable

    The first order formulas preserved under ultrafilter extensions are not recursively enumerable von Cate, Balder ten

    Veröffentlicht 2004
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: