21 citations · 65 across the 19 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
quant-ph2025
The decohered ZX-calculus
Titouan Carette, Daniela Cojocaru, Renaud Vilmart
The discard ZX-calculus is known to be complete and universal for mixed-state quantum mechanics, allowing for both quantum and classical processes. However, if the quantum aspects…
cs.LO2025
Complete Compositional Syntax for Finite Transducers on Finite and Bi-Infinite Words
Titouan Carette, Marc de Visme, Vivien Ducros +2
Minimizing finite automata, proving trace equivalence of labelled transition systems or representing sofic subshifts involve very similar arguments, which suggests the possibility…