Decision problems for equational theories of relation algebras /

Détails bibliographiques
Cote:Libro Electrónico
Auteur principal: Andréka, H.
Autres auteurs: Givant, Steven R., Németi, I.
Format: Électronique eBook
Langue:Inglés
Publié: Providence, R.I. : American Mathematical Society, ©1997.
Collection:Memoirs of the American Mathematical Society ; no. 604.
Sujets:
Relation algebras.
Decidability (Mathematical logic)
Algèbres des relations.
Décidabilité (Logique mathématique)
MATHEMATICS > Essays.
MATHEMATICS > Pre-Calculus.
MATHEMATICS > Reference.
Relation algebras
Accès en ligne:Texto completo

Internet

Texto completo

Error inesperado del formato de respuesta.
Informations d'exemplaires de

Documents similaires