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
Descripción
Notas:"March 1997, volume 126, number 604 (end of volume)."
Descripción Física:1 online resource (xiv, 126 pages) : illustrations
Bibliografía:Includes bibliographical references (pages 112-114) and indexes.
ISBN:9781470401894
1470401894
ISSN:1947-6221 ;
0065-9266

Ejemplares similares