m
     
Ouvrage

H 0 Decision problems for equational theories of relation algebras

Andréka, Hajnal (Principal) ; Givant, Steven (Co-auteur) ; Németi , Istvan (Co-auteur)

American Mathematical Society

1997

978-0-8218-0595-4

00018698

03B05 ; 03B25 ; 03G15 ; 08B15

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


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00018698 [disponible]
Z