Relational and Algebraic Methods in Computer Science (RAMICS / RelMiCS)
13. RAMICS 2012: Cambridge, UK
Wolfram Kahl, Timothy G. Griffin (Eds.): Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings. Springer 2012 Lecture Notes in Computer Science 7560 ISBN 978-3-642-33313-2 [ contents ]
12. RAMICS 2011: Rotterdam, The Netherlands
- Harrie C. M. de Swart (Ed.): Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings. Springer 2011 Lecture Notes in Computer Science 6663 ISBN 978-3-642-21069-3 [ contents ]
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. Springer 2009 Lecture Notes in Computer Science 5827 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. Springer 2008 Lecture Notes in Computer Science 4988 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. Springer 2006 Lecture Notes in Computer Science 4342 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. Springer 2006 Lecture Notes in Computer Science 4136 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. Springer 2006 Lecture Notes in Computer Science 3929 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. Springer 2004 Lecture Notes in Computer Science 3051 ISBN 3-540-22145-X [ contents ]
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. Springer 2003 Lecture Notes in Computer Science 2929 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. Springer 2002 Lecture Notes in Computer Science 2561 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 ]
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 ]
2. RelMiCS 1995: Parati, Brasil
1. RelMiCS 1994: Dagstuhl, Germany
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team