Cited By
View all- Hague MJeż ALin A(2024)Parikh’s Theorem Made SymbolicProceedings of the ACM on Programming Languages10.1145/36329078:POPL(1945-1977)Online publication date: 5-Jan-2024
- Day JGanesh VGrewal NManea F(2023)On the Expressive Power of String ConstraintsProceedings of the ACM on Programming Languages10.1145/35712037:POPL(278-308)Online publication date: 11-Jan-2023
- Jeż ALin AMarkgraf ORümmer P(2023)Decision Procedures for Sequence TheoriesComputer Aided Verification10.1007/978-3-031-37703-7_2(18-40)Online publication date: 17-Jul-2023
- Show More Cited By