Monographie
Decision problems for equational theories of relation algebras
Andréka, Hajnal ; Givant, Steven ; Németi, Istvan
1997
xiv, 126 p.
0-8218-0595-9
M/A4(604)
algèbre des relations ; décidabilité
Bibliothèque de l'IECL
IECL
Class. Mathématique : 03B05 ; 03B25 ; 03G15 ; 08B15
Pays d'édition : Etats-Unis
Ville d'édition : Providence, Rhode Island
Langue : anglais
Format : 26 cm
Illustrations : Fig.
Collection : ...
N° de collection : 0604
ISSN Collection : 0065-9266
Bibliographie : Bibliogr. p. 112-114/index
Exemplaires
Nbre d'exemplaires : 1| N° | Cote / Code barre | Localisation | Commentaire | |
|---|---|---|---|---|
| 1 | M/A4(604) MAT016588 |
Europériodiques [disponible] |
YRéserver |