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

Computation Theory & Mathematics (Science Metrix)

published in

Journal of Logic Programming Journal

presented at event

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