A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain

• Autores: F. Montagna, G. M. Pinna, E. B. Tiezzi
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 46, Nº 2, 2000, págs. 171-182
• Idioma: inglés
• Texto completo no disponible (Saber más ...)