New decision algorithms for finitely presented commutative semigroups (Q1147232): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
| (7 intermediate revisions by 6 users not shown) | |||
| Property / author | |||
| Property / author: Dallas Lankford / rank | |||
| Property / author | |||
| Property / author: Dallas Lankford / rank | |||
Normal rank | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1016/0898-1221(81)90115-2 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2099954293 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5581665 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: New decision algorithms for finitely presented commutative semigroups / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5805025 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: On theories with a combinatorial definition of 'equivalence' / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A Decision Problem for Transformations of Trees / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3896523 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Some algorithmic problems for finitely defined commutative semigroups / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3869335 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5343411 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Constructions in Algebra / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4152749 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The Isomorphism Problem for Some Classes of Multiplicative Systems / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3869404 / rank | |||
Normal rank | |||
| links / mardi / name | links / mardi / name | ||
Latest revision as of 10:00, 13 June 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | New decision algorithms for finitely presented commutative semigroups |
scientific article |
Statements
New decision algorithms for finitely presented commutative semigroups (English)
0 references
1980
0 references
decision algorithms
0 references
finitely presented commutative semigroups
0 references
uniform word problem
0 references
completion procedure for commutative associative term rewriting systems
0 references
Church-Rosser term rewriting system
0 references
