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

Documenti analoghi

• Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014 : Proceedings /
  Pubblicazione: (2014)
• 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 /
  di: Harrie C. M. Swart
  Pubblicazione: (2002)
• Relational and Algebraic Methods in Computer Science : 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings /
  di: Wolfram Kahl, Timothy G. Griffin
  Pubblicazione: (2012)
• Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings /
  di: Harrie Swart
  Pubblicazione: (1998)
• 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 /
  di: Rudolf Berghammer, Bernhard Möller, Georg Struth
  Pubblicazione: (2004)