![](/img/cover-not-exists.png)
[IEEE 22nd Annual Symposium on Foundations of Computer Science - Nashville, TN, USA (1981.10.28-1981.10.30)] 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981) - Propositional dynamic logic of context-free programs
Harel, David, Pnueli, Amir, Stavi, JonathanYear:
1981
Language:
english
DOI:
10.1109/sfcs.1981.38
File:
PDF, 1.03 MB
english, 1981