Une méthode arithmétique de décision pour le systéme modal S5 par des invariants numériques de ses classes d'équivalence

• Autores: Miguel Sánchez-Mazas Ferlosio
• Localización: Theoria: an international journal for theory, history and foundations of science, ISSN 0495-4548, Vol. 4, Nº 11, 1989, págs. 491-513
• Idioma: francés
• Texto completo no disponible (Saber más ...)