Chernev, Anton, Cirstea, Corina, Hansen, Helle and Kupke, Clemens (2025) Thin coalgebraic behaviours are inductive. 40th Annual ACM/IEEE Symposium on Logic in Computer Science, Singapore. 21 pp . (In Press)
Record type:
Conference or Workshop Item
(Paper)
More information
Accepted/In Press date: 8 April 2025
Venue - Dates:
40th Annual ACM/IEEE Symposium on Logic in Computer Science, Singapore, 2025-06-23
Identifiers
Local EPrints ID: 500022
URI: http://eprints.soton.ac.uk/id/eprint/500022
PURE UUID: 0cdcb9b6-560c-4223-bdd8-14acdfb9de57
Catalogue record
Date deposited: 11 Apr 2025 16:43
Last modified: 22 Aug 2025 01:52
Export record
Contributors
Author:
Anton Chernev
Author:
Corina Cirstea
Author:
Helle Hansen
Author:
Clemens Kupke
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.