Relational semigroupoids: Abstract relation-algebraic interfaces for finite relations between infinite types Conferences

Overview
Research
Identity
Additional Document Info
View All

authors

Kahl, Wolfram

status

published

publication date

May 2008

has subject area

01 Mathematical Sciences (FoR)
08 Information and Computing Sciences (FoR)
Computation Theory & Mathematics (Science Metrix)

published in

The Journal of Logic and Algebraic Programming Journal

presented at event

9th International Conference on Relational Methods in Computer Science/4th International Workshop on Applications of Kleene Algebra Conference