Investigations on Fragments of First Order Branching Temporal Logic

• Autores: G. M. Pinna, E. P. B. Tiezzi, F. Montagna
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 48, Nº 1, 2002, págs. 51-62
• Idioma: inglés
• Texto completo no disponible (Saber más ...)