Skip to main content

Lund University Publications

LUND UNIVERSITY LIBRARIES

A coalgebraic view of characteristic formulas in equational modal fixed point logic

Enqvist, Sebastian LU and Sack, Joshua (2014) LNCS 8446.
Please use this url to cite or link to this publication:
author
and
organization
publishing date
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
2021-09-22 04:47:04
@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},
}