Decision problems for equational theories of relation algebras /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Andréka, H.
Otros Autores: Givant, Steven R., Németi, I.
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Providence, R.I. : American Mathematical Society, ©1997.
Colección:Memoirs of the American Mathematical Society ; no. 604.
Temas:
Relation algebras.
Decidability (Mathematical logic)
Algèbres des relations.
Décidabilité (Logique mathématique)
MATHEMATICS > Essays.
MATHEMATICS > Pre-Calculus.
MATHEMATICS > Reference.
Relation algebras
Acceso en línea:Texto completo

Internet

Texto completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares