Treffer 1 - 6 von 6 für Suche 'Kieronski, E.', Suchdauer: 0,66s Treffer weiter einschränken
  1. 1
    Results on the Guarded Fragment with Equivalence or Transitive Relations

    Results on the Guarded Fragment with Equivalence or Transitive Relations von KIERONSKI, Emanuel


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Small substructures and decidability issues for first-order logic with two variables

    Small substructures and decidability issues for first-order logic with two variables von Kieronski, E., Otto, M.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations

    On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations von Kieronski, E., Tendera, L.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Two-Variable First-Order Logic with Equivalence Closure

    Two-Variable First-Order Logic with Equivalence Closure von Kieronski, E., Michaliszyn, J., Pratt-Hartmann, I., Tendera, L.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  5. 5
    The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard

    The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard von Kieroński, Emanuel


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    APPAREIL POUR MANUTENTION DE BOBINES

    APPAREIL POUR MANUTENTION DE BOBINES von JOHN P. KIERONSKI, FRANCIS N. WILLIAMS ET LEO J. SMITH

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: