Repository | People

150317

References

N. V. Shilov

Bibliography ¹Export

Non-deterministic program schemata and their relation to dynamic logic

1987

with Nepomniaschy V. A.

in: Mathematical logic and its applications, Dordrecht : Springer

Open Access Link

Order by

Filter

Language

english/english

Period

1980-1989

Style