About this book series
This series changed its name, please follow this link: https://www.springer.com/series/16882 to get on the series with the updated name.
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 interestEdited by
- Vijay Ganesh
- Ilias Kotsireas
In association with
- Erika Abraham
- Olaf Beyersdorff
- Jasmin Blanchette
- Armin Biere
- Sam Buss
- Matthew England
- Jacques Fleuriot
- Pascal Fontaine
- Arie Gurfinkel
- Marijn Heule
- Reinhard Kahle
- Phokion G. Kolaitis
- Antonina Kolokolova
- Ralph Matthes
- Assia Mahboubi
- Jakob Nordström
- Prakash Panangaden
- Kristin Yvonne Rozier
- Thomas Studer
- Cesare Tinelli
Discontinued series: although this series no longer publishes new content, the published titles listed here remain available.
- Electronic ISSN
- 2297-0584
- Print ISSN
- 2297-0576
- Editor-in-Chief
-
- Vijay Ganesh,
- Ilias S. Kotsireas
Book titles in this series
-
-
Advances in Proof Theory
- Editors:
-
- Reinhard Kahle
- Thomas Strahm
- Thomas Studer
- Copyright: 2016
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Perspectives in Computational Complexity
The Somenath Biswas Anniversary Volume
- Editors:
-
- Manindra Agrawal
- Vikraman Arvind
- Copyright: 2014
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Mathematical Logic
Foundations for Information Science
- Authors:
-
- Wei Li
- Copyright: 2014
Available Renditions
- Hard cover
- eBook
-
Notes on Introductory Combinatorics
- Authors:
-
- George Polya
- Robert E. Tarjan
- Donald R. Woods
- Copyright: 1983
Available Renditions
- Soft cover
- eBook
Abstracted and indexed in
-
- zbMATH