Suhua Lei

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Artificial Intelligence

Sufficient Conditions

Systems Require

Top Venues

Publications

Suhua Lei, Xiaojuan Cai, Mizuhito Ogawa
Termination and Boundedness for Well-Structured Pushdown Systems. TASE (2016)