|
表紙
Full Text:
CiNii
|
|
|
目次
Full Text:
CiNii
|
|
|
Linear Context Induction for Verifying Implementation of Algebraic Specifications
Full Text:
CiNii
|
1-8
|
|
Design of the Interpreter for Metaterm Rewriting calculus with Dynamic Discrimination Nets
Full Text:
CiNii
|
9-16
|
|
On the Diagrammatical Representation for λ-Expressions and its Calculation via Graph Transformation System
Full Text:
CiNii
|
17-24
|
|
An Embedding of Typed λ-calculus into Computational Interpretation of Classical Linear Logic
Full Text:
CiNii
|
25-32
|
|
A Basic Framework for Infinite Computation and Infinite Terms
Full Text:
CiNii
|
33-40
|
|
A Formal Specification of Distributed Shared Memory
Full Text:
CiNii
|
41-48
|
|
Formal verification for refinement of based on timed simulation relations
Full Text:
CiNii
|
49-56
|
|
Symbolic model-checking method based on symmetry
Full Text:
CiNii
|
57-64
|
|
Real-time Symbolic Model Checking for Hard real-time system
Full Text:
CiNii
|
65-72
|
|
[OTHERS]
Full Text:
CiNii
|
|
