Algorithmic Analysis of Programs with Well Quasi-ordered Domains

著者: Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay - Information and Computation 2000 被引用: 201