Suchergebnisse - Marx, Maarten

Treffer filtern
  1. 1
    Buchumschlag

    Multi-Dimensional Modal Logic
    von Marx, Maarten

    Veröffentlicht 1997
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Relation algebras can tile
    von Marx, Maarten

    Veröffentlicht 1999
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Amalgamation in finite dimensional cylindric algebras
    von Marx, Maarten

    Veröffentlicht 1999
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Hybrid logics: characterization, interpolation and complexity
    von Areces, Carlos, Blackburn, Patrick 1959-, Marx, Maarten

    Veröffentlicht 1999
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Labelled deducation for the guarded fragment
    von Marx, Maarten, Schlobach, Stefan, Mikulás, Szabolcs

    Veröffentlicht 1999
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Complexity of modal logics of relations
    von Marx, Maarten

    Veröffentlicht 1997
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Taming arrow logic
    von Marx, Maarten, Mikulás, Szabolcs, Németi, István

    Veröffentlicht 1994
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Relativized relation algebras
    von Marx, Maarten

    Veröffentlicht 1999
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Tableau for quantified hybrid logic
    von Blackburn, Patrick 1959-, Marx, Maarten

    Veröffentlicht 2003
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Complexity of intuitionistic predicate logic with one variable
    von Marx, Maarten

    Veröffentlicht 2001
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Situation calculus as hybrid logic: first steps
    von Blackburn, Patrick 1959-, Marx, Maarten

    Veröffentlicht 2001
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Beth definability for the guarded fragment
    von Hoogland, Eva, Marx, Maarten, Otto, Martin

    Veröffentlicht 1999
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Multi dimensional modal logic
    von Marx, Maarten, Venema, Yde

    Veröffentlicht 1997
    Inhaltsverzeichnis
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Regular equivalence and dynamic logic
    von Marx, Maarten

    Veröffentlicht 2002
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    Constructive interpolation in hybrid logic
    von Blackburn, Patrick 1959-, Marx, Maarten

    Veröffentlicht 2002
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    An elementary construction for a non-elementary procedure
    von Marx, Maarten, Mikulás, Szabolcs

    Veröffentlicht 2001
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    Words with attitude
    von Kamps, Jaap, Marx, Maarten

    Veröffentlicht 2001
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    The computational complexity of hybrid temporal logics
    von Areces, Carlos, Blackburn, Patrick 1959-, Marx, Maarten

    Veröffentlicht 2000
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    Interpolation in guarded fragments
    von Hoogland, Eva, Marx, Maarten

    Veröffentlicht 2000
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    All proper normal extensions of S5-square have the polynomial size model property
    von Marx, Maarten, Bezhanishvili, Nick

    Veröffentlicht 2000
    Per Fernleihe bestellen
    Buch


    Gespeichert in:

Suchwerkzeuge: