The Foundations of Computability Theory

Open Problems in Mathematics and Computational Science

Turing Computability Theory and Applications

Words and Graphs

Higher-Order Computability

Theory and Applications of Satisfiability Testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings

Introduction to Concurrency Theory Transition Systems and CCS

Regulated Grammars and Automata

Finitely Supported Mathematics An Introduction

Combinatorics on Words 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

Advances in Cryptology – ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014, Proceedings, Part II