Algebraic Abstraction in Formal Methods Algebraic Abstraction in Formal Methods(形式手法における代数的抽象化)

Author

    • 奥殿, 貴仁
    • オクドノ, タカマサ
    • Takamasa, OKUDONO

Bibliographic Information

Title

Algebraic Abstraction in Formal Methods

Other Title

Algebraic Abstraction in Formal Methods(形式手法における代数的抽象化)

Author

奥殿, 貴仁

Author

オクドノ, タカマサ

Author

Takamasa, OKUDONO

University

総合研究大学院大学

Types of degree

博士(情報学)

Grant ID

甲第2240号

Degree year

2021-03-24

Note and Description

identifier:総研大甲第2240号

application/pdf

総研大甲第2240号

Table of Contents

  1. 2023-09-07 再収集 (3コマ目)
  2. 2023-09-07 再収集 (4コマ目)
13access

Codes

  • NII Article ID (NAID)
    500001482887
  • NII Author ID (NRID)
    • 8000001901366
    • 8000001901367
    • 8000001901368
  • Text Lang
    • eng
  • Source
    • Institutional Repository
    • NDL Digital Collections
Page Top