Treffer 1 – 7 von 7 für Suche 'Treinen, Ralf', Suchdauer: 0,05s 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
    Ordering constraints on trees

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

    Veröffentlicht 1994
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Equational and membership constraints for infinite trees

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

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Records for logic programming

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    A new method for undecidability proofs of first order theories

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    How to win a game with features

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

    Veröffentlicht 1994
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    The first-order theory of lexicographic path orderings is undecidable

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

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    First order data types and first order logic

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: