Title of article
Generalizing the Paige–Tarjan algorithm by abstract interpretation
Author/Authors
Francesco Ranzato، نويسنده , , Francesco Tapparo، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2008
Pages
32
From page
620
To page
651
Journal title
Information and Computation
Serial Year
2008
Journal title
Information and Computation
Record number
262475
Link To Document