Equational Theories and Monads From Polynomial Cayley Representations

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

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Linear Equational Theories and Semimodule Representations

International Journal of Algebra and Computation
Mathematics
1998English

Equational Theories and Database Constraints

1985English

Most Rigid Representations and Cayley Index

The Art of Discrete and Applied Mathematics
2018English

Set Constraints in Some Equational Theories

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

Reducing Equational Theories for the Decision of Static Equivalence

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Combining Equational Tree Automata Over AC and ACI Theories

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Decision Problems for Equational Theories of Relation Algebras

Memoirs of the American Mathematical Society
MathematicsApplied Mathematics
1997English

Reducing Equational Theories for the Decision of Static Equivalence

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2010English

The Jordan–Schwinger Representations of Cayley–Klein Groups

2020English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy