Pages that link to "Item:Q1938620"

The following pages link to On a method for proving exact bounds on derivational complexity in Thue systems (Q1938620):

Displaying 13 items.

• The undecidability of the preperfectness of Thue systems (Q797574) (← links)
• A new lower bound construction for commutative Thue systems with applications (Q808265) (← links)
• Upper bound on the derivational complexity in some word rewriting system (Q1048539) (← links)
• On subsemigroup lattices of aperiodic groups (Q1318956) (← links)
• Ideal gas/liquid transition as a generalization of the problem of ``partitio numerorum'' (Q1945589) (← links)
• The mathematical theory of classical thermodynamics (Q1947773) (← links)
• The Burnside problem on periodic groups and related questions. (Q2446979) (← links)
• The normalizers of free subgroups in free Burnside groups of odd period \(n\geq 1003\). (Q2451478) (← links)
• A reduction of proof complexity to computational complexity for 𝐴𝐶⁰[𝑝] Frege systems (Q2944868) (← links)
• (Q3589635) (← links)
• (Q3794178) (← links)
• Questions in algebra and mathematical logic. Scientific heritage of S. I. Adian (Q4992044) (← links)
• On Subquadratic Derivational Complexity of Semi-Thue Systems (Q5042260) (← links)