Leicester Research Archive

Leicester Research Archive >
College of Science and Engineering >
Computer Science, Department of >
Published Articles, Dept. of Computer Science >

Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/1833

Title: Specifying coalgebras with modal logic.
Authors: Kurz, Alexander
Issue Date: 2001
Citation: Theoretical Computer Science, 2001, 260 (01-Feb), pp.119-138
ISSN: 0304-3975
Links: http://dx.doi.org/10.1016/S0304-3975(00)00125-0
Type: Article
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:

There are no files associated with this item.

View Statistics

Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.