A hybrid calculus for logic N*: residual finiteness and decidability

• Autores: S. A. Drobyshevich
• Localización: Algebra and logic, ISSN 0002-5232, Vol. 50, Nº. 3, 2011, págs. 245-256
• Idioma: inglés
• DOI: 10.1007/s10469-011-9138-5
• Texto completo no disponible (Saber más ...)