アルシャク朝パルティアの一次史料--バビロン天文日誌第3巻の公刊
スポンサーリンク
概要
論文 | ランダム
- 項書き換えによる関数型プログラミング (関数型プログラミングとその応用)
- 連続動作代数に基づく項書換え系の意味論(計算アルゴリズムと計算量の基礎理論)
- 項書換え系とその保存的拡大における代数的意味論と動作意味論の関連について
- 項書換え系の意味論と自由連続代数
- Approximation Reduction and Approximation Rules of Term Rewriting Systems