dblp.uni-trier.de www.uni-trier.de

Relational Methods in Computer Science (RelMiCS)

RelMiCS Home Page

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX - 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 BibTeX

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 BibTeX

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 BibTeX - 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 BibTeX

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 BibTeX

2. RelMiCS 1995: Parati, Brasil

1. RelMiCS 1994: Dagstuhl, Germany

Copyright © Sat May 16 23:35:50 2009 by Michael Ley (ley@uni-trier.de)