Decision problems for equational theories of relation algebras

Decision problems for equational theories of relation algebras

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Andréka Hajnal (Auteur), Givant Steven R. (Auteur), Németi István (Auteur)
Format : Livre
Langue : anglais
Titre complet : Decision problems for equational theories of relation algebras / Hajnal Andréka, Steven Givant, István Németi
Publié : Providence (R.I.) : American mathematical society , 1997
Description matérielle : 1 vol. (XIV-126 p.)
Collection : Memoirs of the American Mathematical Society ; 604
Sujets :
Algèbres des relations
Décidabilité (logique mathématique)
Algèbre de relations
Problème de décision
Documents associés : Autre format: Decision problems for equational theories of relation algebras
Chargement en cours