Congruences for Visibly Pushdown Languages.

Rajeev Alur, Viraj Kumar, P. Madhusudan, Mahesh Viswanathan

Browse the full ICALP paper archive.