An edition of Decision problems for equational theories of relation algebras (1997)
By H. Andréka
Publish Date
1997
Publisher
American Mathematical Society
Language
eng
Pages
126
Description:
subjects: Decidability (Mathematical logic), Relation algebras