EnglishDecision problems for equational theories of relation algebras
Ouvrage
Andréka, Hajnal (Principal) ; Givant, Steven (Co-auteur) ; Németi , Istvan (Co-auteur)
1997
978-0-8218-0595-4
00018698
algèbre de relation # décidabilité # indécidabilité # logique mathématique
Ville d'édition : Providence ; R.I.
Pays d'édition : États-Unis
Langue : Anglais
EAN13 : 9780821805954
ISBN : 0-8218-0595-9
Collation : 126 p. ; 26 cm ; Bibliogr. ; broch. ; Index
Collection : Memoirs of the american mathematical society
N° de collection : 0604
Localisation : Collection 1er étage
Type d'ouvrage : Monographie
Disponibilité : empruntable
Niveau d'autorisation : Public
Exemplaires
Nbre d'exemplaires : 1| N° | Cote | Code barre | Commentaire | |
|---|---|---|---|---|
| 1 | 00018698 | [disponible] |
