Slice closures of indexed languages and word equations with counting constraints
Preprint in arXiv (May 2024)
The most recent citing publications are shown below. View all 294 publications that cite this research output on Dimensions.
Preprint in arXiv (May 2024)
Article in Acta Informatica (May 2024)
Article in Formal Methods in System Design (February 2024)