scientific article
From MaRDI portal
Publication:4036570
zbMath0769.68061MaRDI QIDQ4036570
Paliath Narendran, Friedrich Otto, Klaus Madlener
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Computing presentations for subgroups of polycyclic groups and of context-free groups ⋮ The problem of deciding confluence on a given congruence class is tractable for finite special string-rewriting systems ⋮ A polynomial algorithm testing partial confluence of basic semi-Thue systems ⋮ Equational Theorem Proving for Clauses over Strings ⋮ Completing a finite special string-rewriting system on the congruence class of the empty word ⋮ A polynomial algorithm testing partial confluence of basic semi-Thue systems
This page was built for publication: