Fundamentals of computation theory: 17th international symposium ; proceedings by International Symposium on Fundamentals of Computation Theory, Breslau fromLecture Notes in Computer Science 0 Type: Book
Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions by Bertot, Yves, Castéran, Pierre fromTexts in theoretical computer science : an EATCS series 0 Type: Book
Computer science - theory and applications: proceedings by CSR, Nowosibirsk fromLecture Notes in Computer Science 0 Type: Book
Programming languages and systems: proceedings by Sestoft, Peter, ESOP, Wien fromLecture Notes in Computer Science 0 Type: Book
Programming languages and systems: proceedings by ETAPS, Wien, ESOP, Wien fromLecture Notes in Computer Science 0 Type: Book
