1 results
Albert R. Meyer and Rohit Parikh. Definability in dynamic logic. Journal of computer and system sciences, vol. 23 (1981), pp. 279–298.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1420-1421
- Print publication:
- December 1984
-
- Article
- Export citation