Equational Axiomatization of Algebras With Structure

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-030-17127-8_23
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

A Complete Equational Axiomatization for MPA With String Iteration

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
1999English

CCS With Hennessy's Merge Has No Finite Equational Axiomatization

BRICS Report Series
2003English

A Complete Equational Axiomatization for Prefix Iteration With Silent Steps

BRICS Report Series
1995English

Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1976English

Decision Problems for Equational Theories of Relation Algebras

Memoirs of the American Mathematical Society
MathematicsApplied Mathematics
1997English

Axiomatization of Qualitative Belief Structure

IEEE Transactions on Systems, Man, and Cybernetics
1991English

Distributivity and Permutability of Congruence Relations in Equational Classes of Algebras

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1963English

Primitive Satisfaction and Equational Problems for Lattices and Other Algebras

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1974English

Ideal Structure of C∗-Algebras Associated With C∗-Correspondences

Pacific Journal of Mathematics
Mathematics
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy