An Efficient Algorithm for the Inclusion Problem of a Subclass of DPDAs

Ryo Yoshinaka. An Efficient Algorithm for the Inclusion Problem of a Subclass of DPDAs. In Carlos Martín-Vide, Friedrich Otto, Henning Fernau, editors, Language and Automata Theory and Applications, Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers. Volume 5196 of Lecture Notes in Computer Science, pages 487-498, Springer, 2008. [doi]

Abstract

Abstract is missing.