スポンサーリンク
北陸先端科学技術大学院大学 | 論文
- イベントとプロパティの区別を導入した型階層論理
- 電子大学の履修管理システムを対象とした自己説明性および進化容易性を実現するためのソフトウェア構成手法の検討
- 並列論理型言語KL1による並列推論マシン上の関係データベース処理の実現
- Rewriting game theory as a foundation for state-based models of gene regulation
- Rewriting game theory applied to protein signalling in MAPK cascades
- Lambdoid emergence
- Normalisation by stack-based evaluation
- Conservative extensions in relevant implicational logics
- The hierarchy of dependency pairs
- Argument filtering transformation
- On proving Ac-termination by AC-dependency pairs
- On proving AC-termination by argument filtering method
- Algebraic approaches to formal analysis of the mondex electronic purse system
- Analysis of membership sharing in digital subscription services
- Structural preservation and reflection of diagrams
- 残響音声からの基本周波数推定に関する検討
- Nonpreemtive flowshop scheduling with machine dominance
- Minimizing total completion time in a two-machine no-idle flowshop
- Process Model Combining the Artifact Process With Communication Path
- The Puzzle Conversion and Layout Problem