Repository | Directory | Profile
V. A. Nepomniaschy
Non-deterministic program schemata and their relation to dynamic logic
1987
in: Mathematical logic and its applications, Dordrecht : Springer
European Society
for Phenomenology
European Society
for Phenomenology
Repository | Directory | Profile
Non-deterministic program schemata and their relation to dynamic logic
1987
in: Mathematical logic and its applications, Dordrecht : Springer