On the Expressive Power of Dynamic Logic (Preliminary Report) - researchr publication

researchr

You are not signed in
Sign in
Sign up

Albert R. Meyer, Karl Winklmann. On the Expressive Power of Dynamic Logic (Preliminary Report). In Conference Record of the Eleventh Annual ACM Symposium on Theory of Computing, 30 April-2 May, 1979, Atlanta, Georgia, USA. pages 167-175, ACM, 1979.

Abstract is missing.

runs on WebDSL