<紀要論文>
Schröder圏における整基関係と関係システム
作成者 | |
---|---|
本文言語 | |
出版者 | |
発行日 | |
収録物名 | |
巻 | |
号 | |
開始ページ | |
終了ページ | |
出版タイプ | |
アクセス権 | |
JaLC DOI | |
関連DOI | |
関連URI | |
関連情報 | |
概要 | Labelled transition systems are generally recognised as an appropriate model for nondeterministic computations. This paper presents a fundamental theory of well-founded relations and relational system...s in Schröder categories.続きを見る |
詳細
PISSN | |
---|---|
EISSN | |
NCID | |
レコードID | |
査読有無 | |
主題 | |
登録日 | 2015.09.14 |
更新日 | 2020.11.02 |