|
表紙
Full Text:
CiNii
|
|
|
目次
Full Text:
CiNii
|
|
|
Strong Normalization and PER Model
Full Text:
CiNii
|
1-6
|
|
Unique normalform property of Higher-Order Rewriting Systems
Full Text:
CiNii
|
7-12
|
|
Implementation of Software Synthesis Shell using Term Rewriting System
Full Text:
CiNii
|
13-18
|
|
Parallel Lisp System Equipped with Parellel Garbage Collection
Full Text:
CiNii
|
19-24
|
|
Indefinite One-time Continuation
Full Text:
CiNii
|
25-30
|
|
Towards a Foundation of Computational Reflection based on Abstract Rewriting (Preliminary Result)
Full Text:
CiNii
|
31-34
|
|
A fibrational semantics for logic programs
Full Text:
CiNii
|
35-36
|
|
Projection spaces and recursive domain equations
Full Text:
CiNii
|
37-38
|
|
Type Consistency Problems for Queries in Object-Oriented Databases
Full Text:
CiNii
|
39-44
|
|
VERIFICATION OF SYSTOLIC ARRAYS WITH NQTHM
Full Text:
CiNii
|
45-50
|
|
Issues in Partial Evaluation of Functional Programs with Side-effects
Full Text:
CiNii
|
51-56
|
|
裏表紙
Full Text:
CiNii
|
|
