Repository | Directory | Profile

150316

References

V. A. Nepomniaschy

Bibliography 1

Non-deterministic program schemata and their relation to dynamic logic

1987

V. A. NepomniaschyN. V. Shilov

in: Mathematical logic and its applications, Dordrecht : Springer

Open Access Link