German Externspeichermodell Cited by user Mabschaaf on 09 Apr 2016 Das Externspeichermodell ist ein Modell aus der theoretischen Informatik, welches die Komplexität von Algorithmen in Bezug auf die Verwendung von mehreren…
English Knuth–Bendix completion algorithm Cited by user 86.127.138.234 on 25 Feb 2015 The Knuth–Bendix completion algorithm (named after Donald Knuth and Peter Bendix) is a semi-decision algorithm for transforming a set of equations (over terms) into a…