Revision as of 15:03, 25 August 2016 edit Ruud Koot (talk \| contribs) 31,416 edits section headers ← Previous edit		Revision as of 20:27, 11 April 2017 edit undo Matthiaspaul (talk \| contribs) Autopatrolled, Extended confirmed users, Page movers, New page reviewers, Pending changes reviewers, Rollbackers, Template editors 137,876 edits Adjusted section titles per MOS. Removed deprecated reflist template parameter Next edit →
Line 34: * [[Knuth–Bendix completion algorithm]] * [[Quine–McCluskey algorithm]] – analogous algorithm for Boolean algebra ~~== Notes ==~~ {{reflist\|2}}▼ == References == ▲{{reflist\|2}} == Further reading == * {{cite journal \| last = Buchberger

Buchberger's algorithm: Difference between revisions