rwallace

less info
meta site favicon meta user | stack exchange network profile network profile
160 reputation
4
bio website ayane.eu
location
age
visits member for 2 years
seen Oct 28 '12 at 18:37
stats profile views 6

11 Actions

suggestions reviews revisions comments badges posts accepts all
Sep
29
 accepted Knuth-Bendix ordering and the one unary function
Sep
23
 asked Knuth-Bendix ordering and the one unary function
May
25
 awarded  Supporter
May
25
 accepted What is the Pacman lemma?
May
25
 asked What is the Pacman lemma?
May
24
 awarded  Scholar
May
24
 accepted Superposition calculus and equality factoring
May
24
 awarded  Student
May
24
 awarded  Teacher
May
22
 answered Superposition calculus and equality factoring
May
22
 asked Superposition calculus and equality factoring