Confluence of one-rule Thue systems (Q6114514)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7726640

Language	Label	Description	Also known as
English	Confluence of one-rule Thue systems	scientific article; zbMATH DE number 7726640

Statements

scholarly article

0 references

Confluence of one-rule Thue systems (English)

0 references

Word Equations and Related Topics

0 references

publication date

14 August 2023

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/3-540-55124-7_11

0 references

0 references

Confluent and Other Types of Thue Systems

0 references

A note on special thue systems with a single defining relation

0 references

Homogeneous Thue systems and the Church-Rosser property

0 references

Testing for the Church-Rosser property

0 references

On confluence of one-rule trace-rewriting systems

0 references

Time-space-optimal string matching

0 references

Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems

0 references

0 references

An \(O(| T| ^ 3)\) algorithm for testing the Church-Rosser property of Thue systems

0 references

A finite Thue system with decidable word problem and without equivalent finite canonical system

0 references

Fast Pattern Matching in Strings

0 references

0 references

0 references

A note on thue systems with a single defining relation

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/3-540-55124-7_11

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:6114514

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6114514&oldid=37551338"