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

Sebastian Enqvist; Joshua Sack

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

Sebastian Enqvist, Joshua Sack

Teoretisk filosofi

Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding › Peer review

Originalspråk	engelska
Titel på värdpublikation	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)
Redaktörer	Marcello Bonsangue
Förlag	Springer
Volym	LNCS 8446
Status	Published - 2014

Publikationsserier

Namn
Volym	LNCS 8446
ISSN (tryckt)	0302-9743
ISSN (elektroniskt)	1611-3349

Ämnesklassifikation (UKÄ)

Filosofi

Citera det här

Enqvist, S., & Sack, J. (2014). A coalgebraic view of characteristic formulas in equational modal fixed point logic. I M. Bonsangue (Red.), 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) (Vol. LNCS 8446). Springer.

Enqvist, Sebastian ; Sack, Joshua. / A coalgebraic view of characteristic formulas in equational modal fixed point logic. 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). redaktör / Marcello Bonsangue. Vol. LNCS 8446 Springer, 2014.

@inproceedings{91a57f2d406f4f8d8c7f1c3404b66b06,

title = "A coalgebraic view of characteristic formulas in equational modal fixed point logic",

author = "Sebastian Enqvist and Joshua Sack",

year = "2014",

language = "English",

volume = "LNCS 8446",

publisher = "Springer",

editor = "Marcello Bonsangue",

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)",

address = "Germany",

}

Enqvist, S & Sack, J 2014, A coalgebraic view of characteristic formulas in equational modal fixed point logic. i M Bonsangue (red.), 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). vol. LNCS 8446, Springer.

A coalgebraic view of characteristic formulas in equational modal fixed point logic. / Enqvist, Sebastian; Sack, Joshua.
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). red. / Marcello Bonsangue. Vol. LNCS 8446 Springer, 2014.

Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding › Peer review

TY - GEN

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

AU - Enqvist, Sebastian

AU - Sack, Joshua

PY - 2014

Y1 - 2014

M3 - Paper in conference proceeding

VL - LNCS 8446

BT - 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)

A2 - Bonsangue, Marcello

PB - Springer

ER -

Enqvist S, Sack J. A coalgebraic view of characteristic formulas in equational modal fixed point logic. I Bonsangue M, redaktör, 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). Vol. LNCS 8446. Springer. 2014