Predicate Transformers and Higher Order Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ralph-Johan Back, Joakim von Wright. Predicate Transformers and Higher Order Logic. In J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg, editors, Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings. Volume 666 of Lecture Notes in Computer Science, pages 1-20, Springer, 1992.

This author has not been identified. Look up 'Ralph-Johan Back' in GoogleThis author has not been identified. Look up 'Joakim von Wright' in Google

runs on WebDSL