スポンサーリンク
Computer Science Division Electrotechnical Laboratory | 論文
- Analysis of Database Production Rules by Process Algebra
- Relational Strategies for Processing Universally Quantified Queries to Large Data Bases (Mathematical Methods in Software Science and Engineering)
- On the Knowledge-based Synthesis of Data Structure Manipulating Programs (Mathematical Methods in Software Science and Engineering : Second Conference)
- An Interactive Graph Manipulation System GMS and Its Applications
- 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)
- Fast List-Copying Algorithms using Constant Workspace (Mathematical Methods in Software Science and Engineering)
- Notes on List Marking Algorithms Using Constant Workspace (Mathematical Methods in Software Science and Engineering : Second Conference)
- An Approach to Conquer Difficulties in Developing a Go Playing Program