Knuth–Bendix completion algorithm

#	Item
1	Last Time ➜ Equations and Term Rewriting ➜ Confluence and Termination of reduction systems COMP 4161 NICTA Advanced Course Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Formal languages Logic in computer science Mathematical logic Rewriting Critical pair Knuth–Bendix completion algorithm Lambda calculus Confluence Hoare logic Theoretical computer science Mathematics Programming language theory
2	ARTIFICIAL INTELLIGENCE 255 Add to Reading List Source URL: www.researchgate.net Language: English Algebraic structures Logic in computer science Boolean algebra Rewriting Lambda calculus Ring Canonical form Knuth–Bendix completion algorithm Boolean algebras canonically defined Mathematics Abstract algebra Mathematical logic
3	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2002-02-22 10:58:44 Computer science TeX The Art of Computer Programming Algorithm Next Magazine Knuth–Bendix completion algorithm Metafont Concrete Mathematics Knuth reward check Computing Donald Knuth Mathematics