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

Filter your results

1 Array
hal_authIdPerson_i : 1099419
Image document

Duality for Instantial Neighbourhood Logic via Coalgebra

Nick Bezhanishvili , Sebastian Enqvist , Jim De Groot
15th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2020, Dublin, Ireland. pp.32-54, ⟨10.1007/978-3-030-57201-3_3⟩
Conference papers hal-03232350v1