Relational methods in computer science 8th international seminar on relational methods in computer science, 3rd international workshop on applications of kleene algebra, workshop o...

af International Seminar on Relational Methods in Computer Science, MacCaull, Wendy., Winter, Michael., Düntsch, Ivo.
Udgivet 2006

Relations and Kleene algebra in computer science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applicat...

af International Seminar on Relational Methods in Computer Science, Berghammer, R., Jaoua, Ali Mohamed., Möller, Bernhard.
Udgivet 2009