Model theory of propositional logics of programs, some open problems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Zdzislaw Habasinski. Model theory of propositional logics of programs, some open problems. In Andrzej Skowron, editor, Computation Theory - Fifth Symposium, Zaborów, Poland, December 3-8, 1984, Proceedings. Volume 208 of Lecture Notes in Computer Science, pages 98-110, Springer, 1984. [doi]

This author has not been identified. Look up 'Zdzislaw Habasinski' in Google

runs on WebDSL