Pages that link to "Item:Q2266586"
From MaRDI portal
The following pages link to Cancellation rules and extended word problems (Q2266586):
Displaying 9 items.
- On the complexity of some extended word problems defined by cancellation rules (Q578921) (← links)
- Some undecidable termination problems for semi-Thue systems (Q673625) (← links)
- On the security of name-stamp protocols (Q1071729) (← links)
- On the verifiability of two-party algebraic protocols (Q1083426) (← links)
- Thue systems as rewriting systems (Q1099642) (← links)
- On the security of p-party protocols (Q1102922) (← links)
- The word problem of inverse monoids presented by one idempotent relator (Q1314383) (← links)
- Elements of Finite Order for Finite Monadic Church-Rosser Thue Systems (Q3708211) (← links)
- FINDING FINITE AUTOMATA THAT CERTIFY TERMINATION OF STRING REWRITING SYSTEMS (Q5462118) (← links)