Twelve kinds of taste
Which one are you?
Rate five things you know, from any shelf. Your archetype shows up in about a minute, and gets sharper with every log.
Rate five things you know, from any shelf. Your archetype shows up in about a minute, and gets sharper with every log.
g. for the Dershowitz–Manna ordering and the multiset path ordering used to prove termination of term rewrite systems.
Israeli computer scientist · From Wikipedia
