Logical Methods in Computer Science, Volume 14

Volume 14, Number 1, 2018

Concurrency theory

Volume 14, Number 2, 2018

Automata and logic

Volume 14, Number 3, 2018

Computability and logic Categorical models and logic

Volume 14, Number 4, 2018

Modal and temporal logics Computability and logic
maintained by Schloss Dagstuhl LZI at University of Trier