scientific article
From MaRDI portal
Publication:3696524
zbMath0576.68040MaRDI QIDQ3696524
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Rewriting with a nondeterministic choice operator, Termination of rewriting, Fairness in context-free grammars under every choice-strategy, Twenty years of rewriting logic, Termination of just/fair computations in term rewriting
