Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Antoine Mercier
Reducing Equational Theories for the Decision of Static Equivalence
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Reducing Equational Theories for the Decision of Static Equivalence
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Decision Problems for Equational Theories of Relation Algebras
Memoirs of the American Mathematical Society
Mathematics
Applied Mathematics
Equational Theories and Database Constraints
Equational Binary Decision Diagrams
Linear Equational Theories and Semimodule Representations
International Journal of Algebra and Computation
Mathematics
Set Constraints in Some Equational Theories
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Equational Theories and Monads From Polynomial Cayley Representations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Combining Equational Tree Automata Over AC and ACI Theories
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Equivalence of Lattice Gauge and Spin Theories
Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics
High Energy Physics
Nuclear
