FrançaisDecision 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
Publisher City : Providence ; R.I.
Publisher country : États-Unis
Language : English
EAN13 : 9780821805954
ISBN : 0-8218-0595-9
Collation : 126 p. ; 26 cm ; Bibliogr. ; broch. ; Index
Series : Memoirs of the american mathematical society
Nb in series : 0604
Location : Collection 1er étage
Book type : Monographie
Availability : empruntable
Level of authorization : Public
Copies
Number of copies : 1| No. | Call n° | Bar code | Commentary | |
|---|---|---|---|---|
| 1 | 00018698 | [available] |
