Suchergebnisse - Treinen, Ralf

  • Treffer 1 – 7 von 7
Treffer filtern
  1. 1
    Buchumschlag

    Equational and membership constraints for infinite trees
    von Niehren, Joachim, Podelski, Andreas, Treinen, Ralf

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    The first-order theory of lexicographic path orderings is undecidable
    von Comon, Hubert, Treinen, Ralf

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    First order data types and first order logic
    von Treinen, Ralf

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Records for logic programming
    von Smolka, Gert 1955-, Treinen, Ralf

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    A new method for undecidability proofs of first order theories
    von Treinen, Ralf

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Ordering constraints on trees
    von Comon, Hubert, Treinen, Ralf

    Veröffentlicht 1994
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    How to win a game with features
    von Backofen, Rolf, Treinen, Ralf

    Veröffentlicht 1994
    Inhaltsverzeichnis
    Buch


    Gespeichert in:

Suchwerkzeuge: