A Fragment of ML Decidable by Visibly Pushdown Automata

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Hopkins, D, Murawski, A, Ong, C
বিন্যাস: Conference item
প্রকাশিত: 2011