Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

1 Array
authFullName_s : Joshua Sack
Image document

A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics

Sebastian Enqvist , Joshua Sack
12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.98-117, ⟨10.1007/978-3-662-44124-4_6⟩
Conference papers hal-01408754v1