Suchergebnisse - Bündgen, Reinhard

  • Treffer 1 – 16 von 16
Treffer filtern
  1. 1
    Buchumschlag

    Termersetzungssysteme: Theorie, Implementierung, Anwendung
    von Bündgen, Reinhard

    Veröffentlicht 1998
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Termersetzungssysteme: Theorie, Implementierung, Anwendung
    von Bündgen, Reinhard

    Veröffentlicht 1998
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Term completion versus algebraic completion
    von Bündgen, Reinhard

    Veröffentlicht 1991
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    A license to fly: verifying the sparrow-0 processor
    von Bündgen, Reinhard, Lauterbach, Werner, Küchlin, Wolfgang

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    A multi-threaded unfailing completion
    von Maier, Patrick, Göbel, Manfred, Bündgen, Reinhard

    Veröffentlicht 1995
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Experiments with multi-threaded Knuth-Bendix completion
    von Bündgen, Reinhard, Göbel, Manfred, Küchlin, Wolfgang

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Application of the Knuth Bendix completion algorithm to finite groups
    von Bündgen, Reinhard

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Partielle Evaluationsbereiche für Termersetzungsspezifikationen
    von Bündgen, Reinhard, Lauterbach, Werner

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    The ReDuX user guide: (Version 1.3)
    von Walter, Jochen, Bündgen, Reinhard

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Term completion versus algebraic completion
    von Bündgen, Reinhard

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Abstract completion for non-compatible rewrite relations
    von Bündgen, Reinhard

    Veröffentlicht 1996
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    A C-backend for the ALDES compiler
    von Bündgen, Reinhard, Walter, Jochen

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    The ReDuX user guide: Version 1.0
    von Walter, Jochen, Bündgen, Reinhard

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    The ReDuX system documentation: Version 1.0
    von Bündgen, Reinhard

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    Completion of bases for multivariate polynomial ideals over commutative rings with the term completion procedure according to Peterson and Stickel
    von Bündgen, Reinhard

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    The ReDuX system documentation: (Version 1.3)
    von Bündgen, Reinhard

    Veröffentlicht 1993
    Buch


    Gespeichert in:

Suchwerkzeuge: