Pattern Matching on Grammar-Compressed Strings in Linear Time

von Ganardi, Moses
Veröffentlicht in ACM-SIAM Symposium on Discrete Algorithms (2022 : Online) ACM-SIAM Symposium on Discrete Algorithms (SODA22) ; Volume 4 of 5 (2022)

Unboundedness Problems for Machines with Reversal-Bounded Counters

von Baumann, Pascal
Veröffentlicht in FOSSACS (26. : 2023 : Paris) Foundations of software science and computation structures (2023)