Christoph Brzoska

• Untersuchung von Strategien für den Knuth-Bendix-Vervollständigungsalgorithmus