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 /

Lignende værker

• 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 /
  af: Rudolf Berghammer, Bernhard Möller, Georg Struth
  Udgivet: (2004, c2004)
• 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 /
  af: Harrie C. M. Swart
  Udgivet: (2002, c2002)
• 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 - September2, 2006, Proceedings /
  af: Renate A. Schmidt
  Udgivet: (2006, c2006)
• Theory and Applications of Relational Structures as Knowledge Instruments : COST Action 274, TARSKI, Revised Papers /
  af: Harrie Swart, Ewa Or.owska, Gunther Schmidt, Marc Roubens
  Udgivet: (2003, c2003)
• 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 /
  af: Rudolf Berghammer, Bernhard Möller, Georg Struth
  Udgivet: (2008, c2008)