Cited By
View all- Leroux J(2024)Ackermannian Completion of SeparatorsFoundations of Software Science and Computation Structures10.1007/978-3-031-57228-9_1(3-10)Online publication date: 6-Apr-2024
- Baumann PD’Alessandro FGanardi MIbarra OMcQuillan ISchütze LZetzsche G(2023)Unboundedness Problems for Machines with Reversal-Bounded CountersFoundations of Software Science and Computation Structures10.1007/978-3-031-30829-1_12(240-264)Online publication date: 21-Apr-2023
- Leroux J(2022)The Reachability Problem for Petri Nets is Not Primitive Recursive2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS)10.1109/FOCS52979.2021.00121(1241-1252)Online publication date: Feb-2022
- Show More Cited By