Jump to main content
文書・図像類

Hennessy-Milner Properties in Schröder Categories

Icons representing 文書・図像類

Hennessy-Milner Properties in Schröder Categories

Material type
文書・図像類
Author
河原, 康雄ほか
Publisher
Department of Informatics, Kyushu University
Publication date
1999-05-01
Material Format
Digital
Capacity, size, etc.
-
NDC
-
View All

Related materials as well as pre- and post-revision versions

DOI Technical Report || 163

http://www.i.kyushu-u.ac.jp/research/report.html

Detailed bibliographic record

Summary, etc.:

This note presents a relational formalization of Hennessy-Milner properties in Schröder categories.(Provided by: 学術機関リポジトリデータベース(IRDB)(機関リポジトリ))

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

  • Kyushu University Institutional Repository

    Digital
    You can check the holdings of institutions and databases with which Institutional Repositories DataBase(IRDB)(Institutional Repository) is linked at the site of Institutional Repositories DataBase(IRDB)(Institutional Repository).

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type
文書・図像類
Author/Editor
河原, 康雄
森, 雅生
Publication, Distribution, etc.
Publication Date
1999-05-01
Publication Date (W3CDTF)
1999-05-01
Periodical title
DOI Technical Report
No. or year of volume/issue
163
Volume
163