Decision problems for equational theories of relation algebras / Hajnal Andréka, Steven Givant, István Németi

Date : 1997

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 0-8218-0595-9

EAN : 9780821805954

Algèbres des relations

Décidabilité (logique mathématique)

Andréka, Hajnal (1947-....) (Auteur / author)

Givant, Steven R. (1943-....) (Auteur / author)

Németi, István (1942-....) (Auteur / author)

Collection : Memoirs of the American Mathematical Society / New York City : American Mathematical Society , 1950-

Relation : Decision problems for equational theories of relation algebras / Hajnal Andréka, Steven Givant, István Németi / Providence (R.I.) : American Mathematical Society , 2012