Hybrid Logical Analyses of the Ambient Calculus - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thomas Bolander, René Rydhof Hansen. Hybrid Logical Analyses of the Ambient Calculus. In Daniel Leivant, Ruy J. G. B. de Queiroz, editors, Logic, Language, Information and Computation, 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings. Volume 4576 of Lecture Notes in Computer Science, pages 83-100, Springer, 2007. [doi]

This author has not been identified. Look up 'Thomas Bolander' in GoogleThis author has not been identified. Look up 'René Rydhof Hansen' in Google

runs on WebDSL