Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

WRITING: Write a section on confluent laws #926

Open
teorth opened this issue Nov 26, 2024 · 0 comments
Open

WRITING: Write a section on confluent laws #926

teorth opened this issue Nov 26, 2024 · 0 comments

Comments

@teorth
Copy link
Owner

teorth commented Nov 26, 2024

Define a confluent law, give an example, and note that it describes the free magma for that law and thus determines all possible implications. Also describe an algorithm for determining confluence and give statistics of how many of the 4692 equations are confluent. One can give references to existing literature on term rewriting.

@teorth teorth converted this from a draft issue Nov 26, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: Unclaimed Outstanding Tasks
Development

No branches or pull requests

1 participant