Termination and Boundedness for Well-Structured Pushdown Systems.

Suhua Lei, Xiaojuan Cai, Mizuhito Ogawa

Browse the full TASE paper archive.