Treffer 1 - 20 von 32 für Suche 'Steinbach, Joachim', Suchdauer: 0,51s Treffer weiter einschränken
  1. 1
    Termination proofs of rewriting systems heuristics for generating polynomial orderings

    Termination proofs of rewriting systems heuristics for generating polynomial orderings von Steinbach, Joachim

    Veröffentlicht 1991
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Vade-mecum of polynomial orderings

    Vade-mecum of polynomial orderings von Steinbach, Joachim, Zehnter, Michael

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Dynamic features of topographical multiset orderings for terms

    Dynamic features of topographical multiset orderings for terms von Fettig, Roland, Müller, Jürgen, Steinbach, Joachim

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Proving termination of associative-communicative rewriting systems using the Knuth-Bendix ordering

    Proving termination of associative-communicative rewriting systems using the Knuth-Bendix ordering von Steinbach, Joachim

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Path and decomposition orderings for proving AC-termination

    Path and decomposition orderings for proving AC-termination von Steinbach, Joachim

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Comparing on strings iterated syllable ordering & recursive path ordering

    Comparing on strings iterated syllable ordering & recursive path ordering von Steinbach, Joachim

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    COMTES - Vervollständigung von Termersetzungssystemen

    COMTES - Vervollständigung von Termersetzungssystemen von Steinbach, Joachim

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    CALDO Dokumentation u. Analyse von Softwaresystemen

    CALDO Dokumentation u. Analyse von Softwaresystemen von Sohns, Harald, Steinbach, Joachim

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Comparing on strings iterated syllable ordering and recursive path ordering

    Comparing on strings iterated syllable ordering and recursive path ordering von Steinbach, Joachim

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Proving termination of associative-commutative rewriting systems using the Knuth-Bendix ordering

    Proving termination of associative-commutative rewriting systems using the Knuth-Bendix ordering von Steinbach, Joachim

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Term orderings with status

    Term orderings with status von Steinbach, Joachim

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Das Inkardinationsrecht eine rechtsvergleichende Untersuchung der kodikarischen Normen des CIC und des CCEO aufgrund der konziliaren Lehre

    Das Inkardinationsrecht eine rechtsvergleichende Untersuchung der kodikarischen Normen des CIC und des CCEO aufgrund der konziliaren Lehre von Steinbach, Joachim

    Veröffentlicht 1996
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    A reduction ordering for higher-order terms

    A reduction ordering for higher-order terms von Avenhaus, Jürgen, Loría-Sáenz, Carlos, Steinbach, Joachim

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Termination of rewriting extensions, comparison and automatic generation of simplification orderings

    Termination of rewriting extensions, comparison and automatic generation of simplification orderings von Steinbach, Joachim

    Veröffentlicht 1994
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Immunologische Charakterisierung von Fibroblasten

    Immunologische Charakterisierung von Fibroblasten von Steinbach, Joachim Peter 1966-

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  16. 16
    On the complexity of simplification orderings

    On the complexity of simplification orderings von Steinbach, Joachim

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Notes on transformation orderings

    Notes on transformation orderings von Steinbach, Joachim

    Veröffentlicht 1992
    Buch

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Check your ordering termination proofs and open problems

    Check your ordering termination proofs and open problems von Steinbach, Joachim, Kühler, Ulrich

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Vade-mecum of polynomial orderings

    Vade-mecum of polynomial orderings von Steinbach, Joachim, Zehnter, Michael

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Path and decomposition orderings for proving AC-termination

    Path and decomposition orderings for proving AC-termination von Steinbach, Joachim

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: