Modal Logic Cambridge Tracts in Theoretical Computer Science 53

Topics in Theoretical Computer Science - 9783319286778

Topics in Theoretical Computer Science - 9783319689524

Handbook of Theoretical Computer Science Volume A Algorithms & Complexity 1990

Introduction to Compiler Design (Undergraduate Topics in Computer Science) by M

Theoretical Computer Science and General Issues Ser.: Simulated Evolution and...

Canonical Equational Proofs. Progress in Theoretical Computer Science. Bachmair,

DIMACS Series In Discrete Mathematics and Theoretical Computer Science Volume 20