Weak confluence and $τ$-inertness

Mingsheng Ying
一月 2000
引用
类型
期刊文章
出版物
Theoretical Computer Science
应明生
应明生
教授