The categories of Kleene algebras, action algebras and action lattices are related by adjunctions (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報)

The categories of Kleene algebras, action algebras and action lattices are related by adjunctions

(AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報)

Call No. (NDL): MA67-B8
Bibliographic ID of National Diet Library: 000004185448

Material type: 図書

Author: [by] Hitosi Furusawa

Publisher: Laboratory for Verification and Semantics AIST Kansai, Amagasaki site National Institute of Advanced Industrial Science and Technology

Publication date: 2003.6

Material Format: Paper

Capacity, size, etc.: 1v. (unpaged) ; 30cm

NDC: -

View All

Search by Bookstore

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.

Paper

Material Type: 図書
Title: The categories of Kleene algebras, action algebras and action lattices are related by adjunctions
Author/Editor: [by] Hitosi Furusawa
Series Title: AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報
Author/Editor (Series Title): 産業技術総合研究所関西センター尼崎事業所システム検証研究ラボ編
Publication, Distribution, etc.: Amagasaki : Laboratory for Verification and Semantics AIST Kansai, Amagasaki site National Institute of Advanced Industrial Science and Technology
Publication Date: 2003.6
Publication Date (W3CDTF): 2003
Extent: 1v. (unpaged)
Size: 30cm
Alternative Title: クリーニ代数の圏、アクション代数の圏とアクション束の圏は随伴の関係にあるクリーニダイスウノケンアクションダイスウノケントアクションソクノケンワズイハンノカンケイニアル
Place of Publication (Country Code): JP
Text Language Code: eng
NDLC: MA67
Target Audience: 一般
Holding library: 国立国会図書館
Call No.: MA67-B8
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000004185448
http://id.ndl.go.jp/bib/000004185448
National Bibliography No. (JPNO): 20490594
Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
Bibliographic Record Category (NDL): 113