順序ソート項書き換え系のソート復元可能に関する研究
スポンサーリンク
概要
- 論文の詳細を見る
- 北陸先端科学技術大学院大学の論文
- 1999-03-26
著者
関連論文
- 項書換えコンパイラに関する一考察
- 項書換え抽象機械TRAMの設計と実装
- 検証を考慮した仕様記述の指針に関する研究
- 検証を考慮した仕様記述の指針に関する研究
- 順序ソート項書き換え系のソート復元可能に関する研究
- 検証を考慮した仕様記述の指針に関する研究
- 検証を考慮した仕様記述の指針に関する研究
- モジュールシステムの要求仕様と設計仕様
- モジュールシステムを備える書換え抽象機械の提案
- 超並列項書換えシステムの実装と評価
- 超並列項書換えシステムの実装と評価
- 超並列項書換えシステムの実装と評価(並列・分散)