A nondeterministic program logic

DOI10.1007/BF00970010zbMath0623.03030MaRDI QIDQ1091387

I. Kh. Musikaev

Publication date: 1986

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

nondeterminismnondeterministic dynamic logicsorts of tests

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Optimization of LR(k) parsers
• Unnamed Item