Progress in Computer Science and Applied Logic is a series that focuses on scientific work of interest to both logicians and computer scientists. Thus applications of mathematical logic to computer science as well as applications of computer science to mathematical logic will be topics of interest. An additional area of interest is the foundations of computer science. The series (previously known as Progress in Computer Science) publishes research monographs, graduate texts, polished lectures from seminars and lecture series, and proceedings of focused conferences in the above fields of interest
Edited by
In association with
Get the table of contents of every new volume published in Progress in Computer Science and Applied Logic.