Relational Methods in Computer Science (RelMiCS)

11. RelMiCS 2009: Doha, Qatar

Rudolf Berghammer, Ali Jaoua, Bernhard Möller (Eds.): 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. Lecture Notes in Computer Science 5827 Springer 2009, ISBN 978-3-642-04638-4
Contents

10. RelMiCS 2008: Frauenwörth, Germany

Rudolf Berghammer, Bernhard Möller, Georg Struth (Eds.): 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. Lecture Notes in Computer Science 4988 Springer 2008, ISBN 978-3-540-78912-3
Contents

Theory and Applications of Relational Structures as Knowledge Instruments 2006

Harrie C. M. de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens (Eds.): Theory and Applications of Relational Structures as Knowledge Instruments II, International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers. Lecture Notes in Computer Science 4342 Springer 2006, ISBN 3-540-69223-1
Contents

9. RelMiCS 2006: Manchester, UK

Renate A. Schmidt (Ed.): Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proceedings. Lecture Notes in Computer Science 4136 Springer 2006, ISBN 3-540-37873-1
Contents

8. RelMiCS 2005: St. Catharines, Ontario, Canada

Wendy MacCaull, Michael Winter, Ivo Düntsch (Eds.): Relational Methods in Computer Science, 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers. Lecture Notes in Computer Science 3929 Springer 2006, ISBN 3-540-33339-8
Contents

7. RelMiCS 2003: Malente (near Kiel), Germany

Rudolf Berghammer, Bernhard Möller, Georg Struth (Eds.): 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. Lecture Notes in Computer Science 3051 Springer 2004, ISBN 3-540-22145-X
Contents

- RelMiCS 2003 Home Page

Theory and Applications of Relational Structures as Knowledge Instruments 2003

Harrie C. M. de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens (Eds.): Theory and Applications of Relational Structures as Knowledge Instruments, COST Action 274, TARSKI, Revised Papers. Lecture Notes in Computer Science 2929 Springer 2003, ISBN 3-540-20780-5
Contents

6. RelMiCS 2001: Oisterwijk, The Netherlands

Harrie C. M. de Swart (Ed.): Relational Methods in Computer Science, 6th International Conference, RelMICS 2001, and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16-21, 2001, Revised Papers. Lecture Notes in Computer Science 2561 Springer 2002, ISBN 3-540-00315-0
Contents

5. RelMiCS 2000: Valcartier, Quebec, Canada

Jules Desharnais (Ed.): Participants Copies of Fifth International Seminar on Relational Methods in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada. 2000
Contents

- RelMiCS 2000 Home Page

4. RelMiCS 1998: Warsaw, Poland

Ewa Orlowska, Andrzej Szalas (Eds.): Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998. 1998
Contents

3. RelMiCS 1997: Hammamet, Tunisia

Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia. 1997
Contents