Suchergebnisse - Avenhaus, Jürgen

Treffer filtern
  1. 1
    Buchumschlag

    Reduktionssysteme: Rechnen und Schließen in gleichungsdefinierten Strukturen
    von Avenhaus, Jürgen

    Veröffentlicht 1995
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Reduktionssysteme: Rechnen und Schließen in gleichungsdefinierten Strukturen
    von Avenhaus, Jürgen

    Veröffentlicht 1995
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Combinatorial algorithms in algebraic structures
    von Avenhaus, Jürgen 1941-

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Zur numerischen Behandlung des Anfangswertproblems mit exakter Fehlererfassung
    von Avenhaus, Jürgen

    Veröffentlicht 1970
    Buch


    Gespeichert in:
  5. 5
    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:
  6. 6
    Buchumschlag

    Canonical conditional rewrite systems containing extra variables
    von Avenhaus, Jürgen, Loría-Sáenz, Carlos

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Groups presented by finite two-monadic Church-Rosser Thue systems
    von Avenhaus, Jürgen 1941-, Madlener, Klaus, Otto, Friedrich

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    P-complete problems in free groups: J. Avenhaus ; K. Madlener
    von Avenhaus, Jürgen, Madlener, Klaus

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    An algorithm for the word problem in HNN extensions and the dependence of its complexity on the group representation
    von Avenhaus, Jürgen, Madlener, Klaus

    Veröffentlicht 1979
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    General algorithms for permutations in equational inference
    von Avenhaus, Jürgen, Plaisted, David A.

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Theorem proving in hierarchical clausal specifications
    von Avenhaus, Jürgen, Maldener, Klaus

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    On congruence and normal forms definable by term rewriting systems
    von Avenhaus, Jürgen 1941-

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Polynomial time algorithms for the Nielsen reduction and related problems in free groups
    von Avenhaus, Jürgen, Madlener, Klaus

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Polynomial algorithms for problems in free groups based on Nielsen type arguments
    von Avenhaus, Jürgen, Madlener, Klaus

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    Distributing equational theorem proving
    von Avenhaus, Jürgen, Denzinger, Jörg

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    Efficient AC 1-Matching using constraints
    von Avenhaus, Jürgen, Denzinger, Jörg, Hoffmann, Thomas

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    Conditional rewriting modulo a built-in algebra
    von Avenhaus, Jürgen, Becker, Klaus

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    Transforming infinite rewrite systems into finite rewrite systems by embedding techniques
    von Avenhaus, Jürgen

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    On the termination of the Knuth-Bendix completion algorithm
    von Avenhaus, Jürgen

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    On the termination of the Knuth-Bendix completion algorithm
    von Avenhaus, Jürgen

    Veröffentlicht 1984
    Buch


    Gespeichert in:

Suchwerkzeuge: