An analytical equivalence theory of programs with applications プログラムの解析的同値理論及びその応用

Access this Article

Search this Article

Author

    • 水谷, 哲也 ミズタニ, テツヤ

Bibliographic Information

Title

An analytical equivalence theory of programs with applications

Other Title

プログラムの解析的同値理論及びその応用

Author

水谷, 哲也

Author(Another name)

ミズタニ, テツヤ

University

筑波大学

Types of degree

工学博士

Grant ID

博甲第550号

Degree year

1988-03-25

Note and Description

博士論文

Table of Contents

  1. 目次 (5コマ目)
0access

Codes

  • NII Article ID (NAID)
    500000059027
  • NII Author ID (NRID)
    • 8000000059181
  • DOI(NDL)
  • NDLBibID
    • 000000223341
  • Source
    • NDL ONLINE
    • NDL Digital Collections

Export

Page Top