Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems

Formal Specification Level: Concepts, Methods, and Algorithms

Reversible Computation: 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings