A partially explicit method for efficient symbolic checking of language containment

• Autores: Kiyoharu Hamaguchi, Michiyo Ichihara, Toshinobu Kashiwabara
• Localización: IEICE transactions on fundamentals of electronics, communications and computer, ISSN 0916-8508, Vol. 82, Nº. 11, 1999, págs. 2455-2464
• Idioma: inglés
• Texto completo no disponible (Saber más ...)