scientific article; zbMATH DE number 972689
From MaRDI portal
Publication:5691608
zbMath0864.68055MaRDI QIDQ5691608
Publication date: 27 February 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Termination proofs for string rewriting systems via inverse match-bounds ⋮ Match-bounded string rewriting systems ⋮ Termination and derivational complexity of confluent one-rule string-rewriting systems
This page was built for publication: