scientific article
From MaRDI portal
Publication:3880295
zbMath0438.68031MaRDI QIDQ3880295
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
On rationally controlled one-rule insertion systems ⋮ Deterministic pushdown-CD-systems of stateless deterministic R(1)-automata ⋮ Church-Rosser controlled rewriting systems and equivalence problems for deterministic context-free languages ⋮ A polynomial algorithm testing partial confluence of basic semi-Thue systems ⋮ Some decision problems about controlled rewriting systems ⋮ A characterisation of deterministic context-free languages by means of right-congruences ⋮ A polynomial algorithm testing partial confluence of basic semi-Thue systems
This page was built for publication:
