Yazar
h andreka
4 cilt bulundu.
Cilt sonuçları
Decision problems for equational theories of relation algebras
H. Andréka · American Mathematical Society
126 sayfa · 1997
Decidability (Mathematical logic) / Relation algebras
On universal algebraic construction of logics
H. Andréka · Hungarian Academy of Sciences, Central Research Institute for Physics
73 sayfa · 1974
Algebra, Universal / Completeness theorem / Logic, Symbolic and mathematical / Symbolic and mathematical Logic / Universal Algebra
Decision problems for equational theories of relation algebras
H. Andréka · American Mathematical Society
126 sayfa · 1997
Decidability (Mathematical logic) / Relation algebras
Generalization of the concept of variety and quasivariety to partial algebras through category theory
H. Andreḱa · Państwowe Wydawn. Nauk.
55 sayfa · 1983
Categories (Mathematics) / Partial algebras / Algebraic varieties