Logo - springer
Slogan - springer

New & Forthcoming Titles | Progress in Computer Science and Applied Logic

Progress in Computer Science and Applied Logic

Progress in Computer Science and Applied Logic

Editor-in-chief: Grädel, Erich

up to Vol. 7 (1987): Progress in Computer Science, ed. by E. Coffman et al.

ISSN: 2297-0576

A product of Springer Basel

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

  • Erich Grädel (RWTH Aachen, Germany)

In association with

  • Eric Allender (Rutgers University, Piscataway, NJ, USA)
  • Mikołaj Bojańczyk (University of Warsaw, Poland)
  • Sam Buss (University of California, San Diego, CA, USA)
  • John C. Cherniavski (National Science Foundation, Washington, DC, USA)
  • Javier Esparza (TU Munich, Germany)
  • Phokion G. Kolaitis (University of California, Santa Cruz, CA, USA)
  • Jouko Väänänen (University of Helsinki, Finland and University of Amsterdam, The Netherlands)

Alerts for this Series

Get the table of contents of every new volume published in Progress in Computer Science and Applied Logic.