Normal view
MARC view
International Workshop on Applications of Kleene Algebra (4th : 2006 : Manchester, England) (Meeting Name)
Machine generated authority record.
Work cat.: (AT-ISTA): International Conference on Relational Methods in Computer Science (9th : 2006 : Manchester, England) 29464, Relations and Kleene algebra in computer science :, ©2006.