Advanced

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

Enqvist, Sebastian LU and Sack, Joshua (2014) In 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) LNCS 8446.
Please use this url to cite or link to this publication:
author
organization
publishing date
type
Chapter in Book/Report/Conference proceeding
publication status
published
subject
in
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 and
volume
LNCS 8446
publisher
Springer
external identifiers
  • scopus:84907330856
ISSN
0302-9743
1611-3349
language
English
LU publication?
yes
id
91a57f2d-406f-4f8d-8c7f-1c3404b66b06 (old id 4537033)
date added to LUP
2014-07-08 15:50:42
date last changed
2017-01-01 03:04:43
@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         = {0302-9743},
  language     = {eng},
  publisher    = {Springer},
  title        = {A coalgebraic view of characteristic formulas in equational modal fixed point logic},
  volume       = {LNCS 8446},
  year         = {2014},
}