Repository | People

150316

References

V. A. Nepomniaschy

Non-deterministic program schemata and their relation to dynamic logic

1987

with Shilov N. V.

in: Mathematical logic and its applications, Dordrecht : Springer

Open Access Link