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

Forskningsoutput: Kapitel i bok/rapport/Conference proceedingKonferenspaper i proceeding

Detaljer

Författare
  • Sebastian Enqvist
  • Joshua Sack
Enheter & grupper
Forskningsområden

Ämnesklassifikation (UKÄ) – OBLIGATORISK

  • Filosofi
Originalspråkengelska
Titel på värdpublikationCoalgebraic 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örerMarcello Bonsangue
FörlagSpringer
VolymLNCS 8446
StatusPublished - 2014
PublikationskategoriForskning
Peer review utfördJa

Publikationsserier

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