Ejemplares similares: Relational Methods in Computer Science :
- Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings /
- Relational and Algebraic Methods in Computer Science : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30--June 3, 2011, Proceedings /
- Theory and Applications of Relational Structures as Knowledge Instruments : COST Action 274, TARSKI, Revised Papers /
- Theory and Applications of Relational Structures as Knowledge Instruments II : International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers /
- 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 /
- 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 /