<departmental bulletin paper>
Well-Founded Relations and Relational Systems in Schröder Categories
Creator | |
---|---|
Language | |
Publisher | |
Date | |
Source Title | |
Vol | |
Issue | |
First Page | |
Last Page | |
Publication Type | |
Access Rights | |
JaLC DOI | |
Related DOI | |
Related URI | |
Relation | |
Abstract | 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.show more |
Hide fulltext details.
File | FileType | Size | Views | Description |
---|---|---|---|---|
p099 | 544 KB | 227 |
Details
PISSN | |
---|---|
EISSN | |
NCID | |
Record ID | |
Peer-Reviewed | |
Subject Terms | |
Created Date | 2015.09.14 |
Modified Date | 2020.11.02 |