6 works on record
Foundations of Software Science and Computational Structures
Typed Lambda Calculi and Applications
Logic, Language, Information and Computation
Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008
Formal Methods and Software Engineering
Computer Science Logic