(Q1378504)

English

Semi-Thue system

rewriting system over strings from an alphabet

  • string rewriting system
  • SRS

Statements

0 references
0 references

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit