Similar Items: A Reversible Crumbling Abstract Machine for Plotkin's Call-by-Value
- BAss: Symbolic Reasoning in Abstract Dialectical Frameworks
- Edit Distance of Finite-Valued Transducers
- Value Functions for Temporal Logic: Optimal Policies and Safety Filters
- Verification of Neural Networks (Lecture Notes)
- Quantum Bayesian Networks: Compositionality and Typing via Linear Logic
- Automaton-based Characterisations of First Order Logic over Infinite Trees