Search - Coalgebraic Methods in Computer Science Access content directly

Filter your results

1 Array
Image document

Relational Presheaves as Labelled Transition Systems

Paweł Sobociński
11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.40-50, ⟨10.1007/978-3-642-32784-1_3⟩
Conference papers hal-01539889v1