Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Hajnal Andréka

Decision Problems for Equational Theories of Relation Algebras

Memoirs of the American Mathematical Society
MathematicsApplied Mathematics
1997English

Related publications

Reducing Equational Theories for the Decision of Static Equivalence

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Reducing Equational Theories for the Decision of Static Equivalence

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2010English

Primitive Satisfaction and Equational Problems for Lattices and Other Algebras

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1974English

Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1976English

Equational Theories and Database Constraints

1985English

Equational Axiomatization of Algebras With Structure

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Equational Binary Decision Diagrams

English

Linear Equational Theories and Semimodule Representations

International Journal of Algebra and Computation
Mathematics
1998English

Set Constraints in Some Equational Theories

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1998English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy