Decision problems for equational theories of relation algebras
Enregistré dans:
Auteurs principaux : | , , |
---|---|
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 : | |
Documents associés : | Autre format:
Decision problems for equational theories of relation algebras |
Chargement en cours