Exercises in Quantifier Manipulation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Roland Carl Backhouse, Diethard Michaelis. Exercises in Quantifier Manipulation. In Tarmo Uustalu, editor, Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings. Volume 4014 of Lecture Notes in Computer Science, pages 69-81, Springer, 2006. [doi]

This author has not been identified. Look up 'Roland Carl Backhouse' in GoogleThis author has not been identified. Look up 'Diethard Michaelis' in Google

runs on WebDSL