Suchergebnisse - Steinbach, Joachim

Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 1994
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    COMTES - Vervollständigung von Termersetzungssystemen
    von Steinbach, Joachim

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Term orderings with status
    von Steinbach, Joachim

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    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


    Gespeichert in:
  10. 10
    Buchumschlag

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

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    On the complexity of simplification orderings
    von Steinbach, Joachim

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Notes on transformation orderings
    von Steinbach, Joachim

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

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

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Comparison of simplification orderings
    von Steinbach, Joachim

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    A method to prove the positiveness of polynomials
    von Steinbach, Joachim

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    CALDO - Dokumentation und Analyse von Softwaresystemen
    von Sohns, Harald, Steinbach, Joachim

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

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

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

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

    Veröffentlicht 1989
    Buch


    Gespeichert in:

Suchwerkzeuge: