On normalizing, non-terminating one-rule string rewriting systems
type: Item
instance of: scholarly article
title: On normalizing, non-terminating one-rule string rewriting systems
zbMATH Open document ID: 0944.68085
DOI: 10.1016/S0304-3975(00)00167-5
published in: Theoretical Computer Science
publication date: 2000-08-21T00:00:00Z
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 1493448
zbMATH Keywords: string rewriting system
zbMATH Keywords: semi-Thue system
zbMATH Keywords: single-rule
zbMATH Keywords: one-rule
zbMATH Keywords: rightmost terminating
zbMATH Keywords: innermost terminating
zbMATH Keywords: terminating
zbMATH Keywords: normalizing
author: Alfons Geser
MaRDI profile type: Publication
cites work: Termination of term rewriting using dependency pairs
cites work: Q4023825
cites work: Q3998014
cites work: Das Identitätsproblem für Gruppen mit einer definierenden Relation
cites work: Calcul de longueurs de chaînes de réécriture dans le monoïde libre
cites work: On termination of confluent one-rule string-rewriting systems
cites work: On confluence of one-rule trace-rewriting systems
cites work: Non-Looping String Rewriting
description: scientific article; zbMATH DE number 1493448