Transforming cycle rewriting into string rewriting

DOI10.4230/LIPICS.RTA.2015.285MaRDI QIDQ5277885zbMATH OpenOpenAlexFDO

Authors David Sabel, Hans Zantema

Publication date 12 July 2017

Full work available at URL https://repository.ubn.ru.nl/bitstream/handle/2066/143775/143775.pdf

zbMATH Keywords

rewriting systemsstring rewritingtermination

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Termination of cycle rewriting by transformation and matrix interpretation
• Termination of cycle rewriting
• Termination of String Rewriting with Matrix Interpretations
• Termination by Quasi-periodic Interpretations
• Implementation and Application of Automata

Cited in

(5)

• Proving termination of graph transformation systems using weighted type graphs over semirings
• Termination of cycle rewriting by transformation and matrix interpretation
• Non-Looping String Rewriting
• Towards a qualitative reasoning on shape change and object division
• Termination of cycle rewriting

This page was built for publication: Transforming cycle rewriting into string rewriting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5277885)