Associative-Commutative Reduction Orderings

Information Processing Letters - Netherlands
doi 10.1016/0020-0190(92)90024-p
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Commutative Non-Associative Number Theory

Proceedings of the Edinburgh Mathematical Society
Mathematics
1976English

Useful Theorems on Commutative Non-Associative Algebras

Proceedings of the Edinburgh Mathematical Society
Mathematics
1967English

On Associative Operations on Commutative Integral Domains

Semigroup Forum
Number TheoryAlgebra
2019English

Commutative Associative Rings and Anti-Flexible Rings

Pacific Journal of Mathematics
Mathematics
1971English

A Generalization of Commutative and Associative Rings

Pacific Journal of Mathematics
Mathematics
1971English

Associative-Commutative Matching via Bipartite Graph Matching

Computer Journal
Computer Science
1995English

Any Ground Associative-Commutative Theory Has a Finite Canonical System

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1991English

Automata on Linear Orderings

Journal of Computer and System Sciences
Computer NetworksApplied MathematicsCommunicationsComputational TheoryMathematicsTheoretical Computer Science
2007English

Proving Termination With Multiset Orderings

Communications of the ACM
Computer Science
1979English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy