Model Checking via Fixed Points in Categories and Lattices(圏と束における不動点を用いたモデル検査)

WEKO3

lat lon distance

[[sub_check.contents]]

[[sub_radio.contents]]

Field does not validate

[[sub_attr.contents]]　

A2572本文

ファイル	ライセンス
A2572本文.pdf (1.3 MB) sha256 21a0a3122e0e6b338ceb85b252c4e928640745559fb7327e9dc1ba9cfd103a7b	Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)

公開日		2025-06-05
ファイル名		A2572本文.pdf
	本文URL	https://ir.soken.ac.jp/record/2000313/files/A2572本文.pdf
	ラベル	本文 / Thesis
	オブジェクトタイプ	fulltext
フォーマット		application/pdf
	サイズ	1.2 MB

Version	Date Modified	Object File Name	File Size	File Hash Value	Contributor Name	Show/Hide

Downloads

Plays