Bizière, Clotilde
- Locality Theorems in Semiring Semantics
2023/03/22 by Bizière, Clotilde, Grädel, Erich, Naaf, Matthias · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Reachability in One-Dimensional Pushdown Vector Addition Systems is Decidable
2024/11/04 by Clotilde Bizière, Bizière, Clotilde, Wojciech Czerwiński +1 · 1 citation
Computer Science · Engineering · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #VLSI and Analog Circuit Testing #VLSI and FPGA Design Techniques