Kojima I | Computer Science Division Electrotechnical Laboratory
スポンサーリンク
概要
Computer Science Division Electrotechnical Laboratory | 論文
- Relational Strategies for Processing Universally Quantified Queries to Large Data Bases (Mathematical Methods in Software Science and Engineering)
- An Interactive Graph Manipulation System GMS and Its Applications
- Analysis of Database Production Rules by Process Algebra
- Least Fixpoint and Greatest Fixpoint in a Process Algebra with Conjunction and Disjunction (Special Section of Selected Papers from the 12th Workshop on Circuit and Systems in Karuizawa)
- On the Knowledge-based Synthesis of Data Structure Manipulating Programs (Mathematical Methods in Software Science and Engineering : Second Conference)