Relational and Algebraic Methods in Computer Science : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30--June 3, 2011, Proceedings /

Lignende værker

• Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014 : Proceedings /
  Udgivet: (2014, c2014)
• 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)
• Relational and Algebraic Methods in Computer Science : 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings /
  af: Wolfram Kahl, Timothy G. Griffin
  Udgivet: (2012, c2012)
• Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings /
  af: Harrie Swart
  Udgivet: (1998, c1998)
• 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)