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