m
     
MathOuvrage

H 0 Decision problems for equational theories of relation algebras

Andréka, Hajnal ; Givant, Steven ; Németi, Istvan

American mathematical Society

1997

xiv, 126 p. ; 26 cm

9780821805954

38201

algèbre de relation ; décidabilité ; logique propositionnelle


Exemplaires

Nbre d'exemplaires : 1
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

Z