A coalgebraic view of characteristic formulas in equational modal fixed point logic
(2014) LNCS 8446.
Please use this url to cite or link to this publication:
https://lup.lub.lu.se/record/4537033
- author
- Enqvist, Sebastian LU and Sack, Joshua
- organization
- publishing date
- 2014
- type
- Chapter in Book/Report/Conference proceeding
- publication status
- published
- subject
- host publication
- Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers / Lecture notes in computer science (LNCS)
- editor
- Bonsangue, Marcello
- volume
- LNCS 8446
- publisher
- Springer
- external identifiers
-
- scopus:84907330856
- ISSN
- 1611-3349
- 0302-9743
- language
- English
- LU publication?
- yes
- id
- 91a57f2d-406f-4f8d-8c7f-1c3404b66b06 (old id 4537033)
- date added to LUP
- 2016-04-01 09:52:54
- date last changed
- 2024-01-06 02:10:49
@inproceedings{91a57f2d-406f-4f8d-8c7f-1c3404b66b06,
author = {{Enqvist, Sebastian and Sack, Joshua}},
booktitle = {{Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers / Lecture notes in computer science (LNCS)}},
editor = {{Bonsangue, Marcello}},
issn = {{1611-3349}},
language = {{eng}},
publisher = {{Springer}},
title = {{A coalgebraic view of characteristic formulas in equational modal fixed point logic}},
volume = {{LNCS 8446}},
year = {{2014}},
}