XU Xinyun | Department of Toxicology, Shenzhen Center for Disease Control and Prevention
スポンサーリンク
概要
- XU Xinyunの詳細を見る
- 同名の論文著者
- Department of Toxicology, Shenzhen Center for Disease Control and Preventionの論文著者
論文 | ランダム
- 項書き換えシステムのモジュラ性
- 重なりのある強逐次系のインデックス簡約について
- 項書き換え系のパーシステント性の順序付きソートによる拡張
- Extending persistency of confluence with ordered sorts
- Top-down labelling and modularity of term rewriting systems