Operational Semantics for Positive Relevant Logics Without Distribution - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ying Gao, Jingde Cheng. Operational Semantics for Positive Relevant Logics Without Distribution. In S. Barry Cooper, Benedikt Löwe, Andrea Sorbi, editors, Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings. Volume 4497 of Lecture Notes in Computer Science, pages 325-335, Springer, 2007. [doi]

This author has not been identified. Look up 'Ying Gao' in GoogleThis author has not been identified. Look up 'Jingde Cheng' in Google

runs on WebDSL