Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
[HTML][HTML] Backwards-reachability for cooperating multi-pushdown systems
C Köcher, D Kuske - Journal of Computer and System Sciences, 2025 - Elsevier
A cooperating multi-pushdown system consists of a tuple of pushdown systems that can
delegate the execution of recursive procedures to sub-tuples; control returns to the calling …
delegate the execution of recursive procedures to sub-tuples; control returns to the calling …