1
Logic, Rationality, and Interaction [E-Book] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings /
2
Logic, Language, Information and Computation [E-Book] : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings /
3
Algebra and Coalgebra in Computer Science [E-Book] : 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings /
4
Algebraic Informatics [E-Book] : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings /
5
Logic, Language, Information and Computation [E-Book] : 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings /
6
The Mathematics of Language [E-Book] : 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers /
7
Logic, Rationality, and Interaction [E-Book] : Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings /
8
Parameterized and Exact Computation [E-Book] : 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers /
9
Algebra and Coalgebra in Computer Science [E-Book] : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings /
10
Rewriting Techniques and Applications [E-Book] : 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings /
11
Algebraic Informatics [E-Book] : Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings /
12
Relations and Kleene Algebra in Computer Science [E-Book] : 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 /
13
Developments in Language Theory [E-Book] : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings /
14
Developments in Language Theory (vol. # 4036) [E-Book] / 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings
15
Relational Methods in Computer Science [E-Book] / 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharin
16
Relational and Kleene-Algebraic Methods in Computer Science [E-Book] : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 20 /