A systematic study of infinite canonical systems generated by Knuth-Bendix completion and related proplems - Sattler-Klein, Andrea (1996)
Kaiserslautern, Univ., Diss., 1996
Keywords: Regelungssystem; Wortproblem; Abstrakter Datentyp; Wiederherstellung; Knuth-Bendix-Vervollständigungsprozedur; Hochschulschrift