A polynomial-time algorithm for checking the inclusion for real-time deterministic restricted one-counter automata which accept by accept mode

• Autores: Ken Higuchi, Mitsuo Wakatsuki, Etsuji Tomita
• Localización: IEICE transactions on information and systems, ISSN 0916-8532, Vol. 81, Nº. 1, 1998, págs. 1-11
• Idioma: inglés
• Texto completo no disponible (Saber más ...)