Decision problems for equational theories of relation algebras

Saved in:
Bibliographic Details
Other Authors: Andreka, H. (Editor), Givant, Steven R. (Editor), Nemeti, Istvan (Editor)
Format: Book
Language:English
Published: Providence, Rhode island : American Mathematical Society, c1997
Series:Memoirs of the American Mathematical Society ; ; 604
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!