VSL 2014: VIENNA SUMMER OF LOGIC 2014

CLC MEETING PROCEEDINGS: EDITOR'S PREFACE

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

This volume contains the papers presented at CL&C'14: Fifth International Workshop on Classical Logic and Computation held on July 12, 2014 in Vienna.

There were 18 submissions. Each submission was reviewed by 2.7 reseachers on average. The committee decided to accept 6 full papers and 9 short (work in progress) papers.


Paulo Oliva
Stefano Berardi
Steffen van Bakel
June 13, 2014
London
Disclaimer | Powered by EasyChair Smart Program