Logic Functions and Equations Binary Models for Computer Science

Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

Rewriting and Typed Lambda Calculi Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings

Pristine Perspectives on Logic, Language, and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers

Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings

Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Parameterized Complexity in the Polynomial Hierarchy Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy

Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior

Introduction to Concurrency Theory Transition Systems and CCS

Petri Net Synthesis

Turing Computability Theory and Applications