スポンサーリンク
北陸先端科学技術大学院大学 | 論文
- The completeness of linear logic with modal operator for Petri net models
- A proof of the conjecture of zantema on a persistent property of term rewriting systems
- Tree lifting orderings for termination transformations of term rewriting systems
- 並列ラジオシティ法による画像生成の高速化
- Network performances of TESH:a new hierarchical interconnection network for 3-D integration
- 手形状入力装置を用いた指文字認識システム
- Categorical foundations of modularisation for multi-paradigm
- Extra theory morphisms for institutions : logical semantics for multi-paradigm languages
- Behavioural coherence in object-oriented algebraic specification
- Modality in open institutions with concrete syntax
- The completeness of linear logic for petri net models
- JAIST-REPORT completeness of semantic paramodulation : a category-based approach
- ウェーハ積層構造3次元階層型ネットワーク
- JAIST-REPORT completeness of semantic paramodulation : a category-based approach
- Generating a Workflow for Change Support of UML Documents
- Layered Object-Oriented Application Frameworks for Extensible CVS Proxy to Support Configuration Management Process
- A note on sequent systems of provability logic
- A constructive meaning for convergence and the cauchyness of sequences of the space D(R)
- Convey Box : into a speaking world
- 仮想力覚触覚を用いた三次元造形システムの構築