Separability, Expressiveness, and Decidability in the Ambient Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi. Separability, Expressiveness, and Decidability in the Ambient Logic. In 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings. pages 423-432, IEEE Computer Society, 2002. [doi]

This author has not been identified. Look up 'Daniel Hirschkoff' in GoogleThis author has not been identified. Look up 'Étienne Lozes' in GoogleThis author has not been identified. Look up 'Davide Sangiorgi' in Google

runs on WebDSL