scientific article; zbMATH DE number 7440206

zbMath1483.68152arXiv1609.03645MaRDI QIDQ5015379

Johannes Waldmann

Publication date: 7 December 2021

Full work available at URL: https://arxiv.org/abs/1609.03645

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42) Signed and weighted graphs (05C22)

Related Items (1)

Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Handbook of weighted automata
• Match-bounded string rewriting systems
• Inductive graphs and functional graph algorithms
• Termination of String Rewriting with Matrix Interpretations
• Termination of Cycle Rewriting
• FINDING FINITE AUTOMATA THAT CERTIFY TERMINATION OF STRING REWRITING SYSTEMS

This page was built for publication: