scientific article
From MaRDI portal
Publication:3043363
zbMath0527.20027MaRDI QIDQ3043363
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Algorithms in computer science (68W99)
Related Items (3)
A catalogue of complete group presentations ⋮ Analysis of Dehn's algorithm by critical pairs ⋮ On deciding the confluence of a finite string-rewriting system on a given congruence class
This page was built for publication:
