H Decision problems for equational theories of relation algebras
Andréka, Hajnal ; Givant, Steven ; Németi, Istvan
1997
xiv, 126 p. ; 26 cm
9780821805954
38201
algèbre de relation ; décidabilité ; logique propositionnelle
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 38201 | 1005572 | PERIO |
ISBN10 : 0-8218-0595-9
Type de doc : M
Ville d'édition : Providence RI
Pays d'édition : us
Langue ouvrage : eng
Collection : Memoirs of the american mathematical society
N° dans la collection : 604
ISSN Collection : 0065-9266
Bibliographie : Bibliogr. p. 112-114
Class. Math. 1991 : 03B05 ; 03B25 ; 03G15 ; 08B15
Class. Library : QA3.A57
N° LCCCN : 96-37450
Class. Dewey : 511.3'24
Lien SUDOC : https://www.sudoc.fr/121261603