Decision problems for equational theories of relation algebras / Hajnal Andréka

Public ISBD Titre : Decision problems for equational theories of relation algebras Type de document : texte imprimé Auteurs : Hajnal Andréka, Auteur ; Steven R. Givant, Auteur ; István Németi Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1997 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 604 Importance : 126 p. ISBN/ISSN/EAN : 978-0-8218-0595-4 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B25 Decidability of theories and sets of sentences 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G15 Cylindric and polyadic algebras; relation algebras 08-XX General algebraic systems:08BXX Varieties :08B15 Lattices of varieties Mots-clés : n-frame  relation algebras  equational theory  degree of complexity  undecidability  representable relation algebras  symmetric relation algebras  group relation algebras  projective geometry  Lyndon algebras  Boolean algebraic reduct  complete atomic Boolean algebra  decidability Index. décimale : Mem Decision problems for equational theories of relation algebras [texte imprimé] / Hajnal Andréka, Auteur ; Steven R. Givant, Auteur ; István Németi . - Providence, R.I. : American Mathematical Society, 1997 . - 126 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 604) . ISBN : 978-0-8218-0595-4 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B25 Decidability of theories and sets of sentences 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G15 Cylindric and polyadic algebras; relation algebras 08-XX General algebraic systems:08BXX Varieties :08B15 Lattices of varieties Mots-clés : n-frame  relation algebras  equational theory  degree of complexity  undecidability  representable relation algebras  symmetric relation algebras  group relation algebras  projective geometry  Lyndon algebras  Boolean algebraic reduct  complete atomic Boolean algebra  decidability Index. décimale : Mem

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
19226	Mem/604	imprimé / autre	CRDM	Mem/MEMOIRS AMS	Disponible

---

page 1/1