Toggle navigation
Home
People
Departments
Research
About
Login
Search
12th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS)
Conference
Scholarly Activity
Scholarly Activity
related documents
Dependently-Typed Formalisation of Relation-Algebraic Abstractions
Conferences