Search - IFIP Open Digital Library Access content directly

Filter your results

1 Array
Author: personID (integer) : 1010362
Image document

Internal Models for Coalgebraic Modal Logics

Toby Wilkinson
11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.238-258, ⟨10.1007/978-3-642-32784-1_13⟩
Conference papers hal-01539883v1