Login
From:
Hey There Buddo!
(Uncensored)
subscribe
Ground Knuth Bendix Ordering is Basically Size with Tie Breaking | Hey There Buddo!
https://www.philipzucker.com/ground_kbo/
links
backlinks
Roast topics
Find topics
Find it!
A natural and interesting topic is the idea of a Term ordering.
