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

Filter your results

1 Array
Image document

On the Logic of Generalised Metric Spaces

Octavian Babus , Alexander Kurz
13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.136-155, ⟨10.1007/978-3-319-40370-0_9⟩
Conference papers hal-01446037v1