Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators

• Autores: Viorica Sofronie Stokkermans
• Localización: Journal of symbolic computation, ISSN 0747-7171, Vol. 36, Nº 6, 2003, págs. 891-924
• Idioma: inglés
• Texto completo no disponible (Saber más ...)