1
Logical Foundations of Computer Science [E-Book] : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings /
2
Rewriting Techniques and Applications [E-Book] : 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings /
3
Rough Sets and Knowledge Technology [E-Book] : 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings /
4
Typed Lambda Calculi and Applications [E-Book] : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings /