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

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

Inhaltsverzeichnis

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

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

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

Volltext öffnen

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

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

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

Term completion versus algebraic completion von Bündgen, Reinhard

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

Inhaltsverzeichnis

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

Inhaltsverzeichnis

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

Term completion versus algebraic completion von Bündgen, Reinhard

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

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

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