zbMath0584.68051MaRDI QIDQ3707400
Friedrich L. Bauer
Publication date: 1982
zbMATH Keywords
nondeterminism; algebraic approach; algebraic terms
Mathematics Subject Classification ID
68W99: Algorithms in computer science