نتایج جستجو

Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers
Raymond Bisdorff, Marc Roubens (auth.), Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.), 2004
Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers
Raymond Bisdorff, Marc Roubens (auth.), Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.), 2004
Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers
Raymond Bisdorff, Marc Roubens (auth.), Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.), 2004
Relations and Kleene Algebra in Computer Science: 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings
Marc Pauly (auth.), Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.), 2008
Relations and Kleene Algebra in Computer Science: 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings
Marc Pauly (auth.), Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.), 2008
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
Rohit Parikh (auth.), Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Möller (eds.), 2009
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
Rohit Parikh (auth.), Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Möller (eds.), 2009