PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
References to 'word problem'
1. Munn tree by Mazzu
2. semi-Thue system by CWoo
3. theory of formal languages by rspuzio
4. Thue system by CWoo