Similar Items: Minimization of Streaming Transducers
- Edit Distance of Finite-Valued Transducers
- Tree transducers of linear size-to-height increase (and the additive conjunction of linear logic)
- Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries
- 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