Congruences for Visibly Pushdown Languages.

Rajeev Alur Viraj Kumar P. Madhusudan Mahesh Viswanathan

Published in: ICALP (2005)

Keyphrases

expressive power
language independent
model checking
cross lingual
grammatical inference
real time
databases
learning algorithm
web pages
multiscale
query translation
computer programs
language identification