An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kaustuv Chaudhuri, Giselle Reis. An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials. In Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings. Volume 9450 of Lecture Notes in Computer Science, pages 146-161, Springer, 2015. [doi]

This author has not been identified. Look up 'Kaustuv Chaudhuri' in GoogleThis author has not been identified. Look up 'Giselle Reis' in Google

runs on WebDSL