Publication:3698325
From MaRDI portal
zbMath0577.68073MaRDI QIDQ3698325
Publication date: 1985
nondeterminism; fair termination; infinite derivations; fair derivations; choice-strategy; variable-doubling
68Q45: Formal languages and automata
Related Items