Radboud Repository
Radboud Repository
→
Collections Radboud University
→
Academic publications
→
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
There is no fulltext present in this item.
Title:
The temporal logic of coalgebras via Galois algebras
Author(s):
Jacobs, B.
Publication year:
2002
Source:
Mathematical Structures in Computer Science, vol. 12, (2002), pp. 875-903
ISSN:
0960-1295
DOI:
https://doi.org/10.1017/S096012950200378X
Publication type:
Article / Letter to editor
Please use this identifier to cite or link to this item :
https://hdl.handle.net/2066/130358
Display more details
Subject:
Digital Security
Organization:
Digital Security
Security of Systems
Journal title:
Mathematical Structures in Computer Science
Volume:
vol. 12
Page start:
p. 875
Page end:
p. 903
This item appears in the following Collection(s)
Faculty of Science
[28790]
Academic publications
[186209]
Academic output Radboud University
Search Repository
Search Repository
This Collection
Browse
All of Repository
Collections
Departments
Date Issued
Authors
Titles
Document type
This Collection
Departments
Date Issued
Authors
Titles
Document type
Statistics
View Item Statistics