Back and Forth Through Time and Events - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Patrick Blackburn, Claire Gardent, Maarten de Rijke. Back and Forth Through Time and Events. In Dov M. Gabbay, Hans Jürgen Ohlbach, editors, Temporal Logic, First International Conference, ICTL 94, Bonn, Germany, July 11-14, 1994, Proceedings. Volume 827 of Lecture Notes in Computer Science, pages 225-237, Springer, 1994.

This author has not been identified. Look up 'Patrick Blackburn' in GoogleThis author has not been identified. Look up 'Claire Gardent' in GoogleIdentified as Maarten de Rijke

runs on WebDSL