Résultats de recherche auteurs

1

Chargement en cours...

Relational methods in computer science 8th international seminar on relational methods in computer science, 3rd international workshop on applications of kleene algebra, workshop of COST action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, selected revised papers /

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

par International Seminar on Relational Methods in Computer Science, MacCaull, Wendy., Winter, Michael., Düntsch, Ivo.
Publié 2006

Accéder au texte intégral

Livro

2

Chargement en cours...

Relations and Kleene algebra in computer science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009 : proceedings /

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

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

Accéder au texte intégral

Livro