ScholarLens Back to search
2018•Unpublished venueRequires access

A Terminating and Confluent Term Rewriting System for the Pure Equational Theory of Quandles

Robert W. McGrail, Thuy Trang Nguyen, Thanh Thuy Trang Tran, Arti Tripathi

Open publisher page 1 citations

Abstract

This article presents a term rewriting system for the first-order equational theory of quandles that is both terminating and confluent. As a consequence, it has unique normal forms and so encodes a decision procedure for quandle identities. However, the problem of computing a normal form for this term rewriting system is, in worst case, EXP hard.

About this research paper

What this paper is about

This article presents a term rewriting system for the first-order equational theory of quandles that is both terminating and confluent. As a consequence, it has unique normal forms and so encodes a decision procedure for quandle identities. However, the problem of computing a normal form for this term rewriting system is, in worst case, EXP hard.

Why it matters

OpenAlex reports 1 citations for this work. Citation counts describe recorded attention and do not establish research quality.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

This article presents a term rewriting system for the first-order equational theory of quandles that is both terminating and confluent. As a consequence, it has unique normal forms and so encodes a decision procedure for quandle identities. However, the problem of computing a normal form for this term rewriting system is, in worst case, EXP hard.

Key concepts: Rewriting, Normalization property, Term (time), Confluence, Order (exchange), Computer science, Equational logic, Mathematics

Related papers

Related paper 1Related paper 2Related paper 3
Back to paper searchBrowse research topicsOriginal source
A Terminating and Confluent Term Rewriting System for the Pure Equational Theory of Quandles — Research Paper | ScholarLens