Treffer 1 - 20 von 36 für Suche 'Avenhaus, Jürgen', Suchdauer: 0,56s Treffer weiter einschränken
  1. 1
    General algorithms for permutations in equational inference

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

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Theorem proving in hierarchical clausal specifications

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

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Reduktionssysteme Rechnen und Schließen in gleichungsdefinierten Strukturen

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

    Veröffentlicht 1995

    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Reduktionssysteme Rechnen und Schließen in gleichungsdefinierten Strukturen

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

    Veröffentlicht 1995
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Efficient AC1-matching using constraints

    Efficient AC1-matching using constraints von Avenhaus, Jürgen, Denzinger, Jörg, Hoffmann, T.

    Veröffentlicht 1992
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Conditional rewriting modulo a built-in algebra

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

    Veröffentlicht 1992
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    On congruence and normal forms definable by term rewriting systems

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

    Veröffentlicht 1984
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Polynomial time algorithms for the Nielsen reduction and related problems in free groups

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

    Veröffentlicht 1980
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Polynomial algorithms for problems in free groups based on Nielsen type arguments

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

    Veröffentlicht 1980
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Polynomial algorithms for problems in free groups based on Nielsen type arguments

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

    Veröffentlicht 1980
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    An algorithm for the word problem in HNN extensions and the dependence of its complexity on the representation

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

    Veröffentlicht 1979
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    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:
  13. 13
    Canonical conditional rewrite systems containing extra variables

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

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    On the termination of the Knuth-Bendix completion algorithm

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

    Veröffentlicht 1984
    Buch

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Groups presented by finite two-monadic Church-Rosser Thue systems

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

    Veröffentlicht 1984
    Buch

    Zu den Favoriten
    Gespeichert in:
  16. 16
    P-complete problems in free groups

    P-complete problems in free groups von Avenhaus, Jürgen, Madlener, Klaus

    Veröffentlicht 1980
    Buch

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Polynomial algorithms for problems in free groups based on Nielsen type arguments

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

    Veröffentlicht 1980
    Buch

    Zu den Favoriten
    Gespeichert in:
  18. 18
    P-complete problems in free groups J. Avenhaus ; K. Madlener

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

    Veröffentlicht 1980
    Buch

    Zu den Favoriten
    Gespeichert in:
  19. 19
    P-complete problems in free groups

    P-complete problems in free groups von Avenhaus, Jürgen, Madlener, Klaus

    Veröffentlicht 1980
    Buch

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Polynomial algorithms for problems in free groups based on Nielsen type arguments

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

    Veröffentlicht 1980
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: