1
Languages: From Formal to Natural [E-Book] : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday /
2
Rewriting Techniques and Applications [E-Book] : 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings /
3
Typed Lambda Calculi and Applications [E-Book] : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings /