Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Didier Galmiche, Dominique Larchey-Wendling. Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic. In P. S. Thiagarajan, Roland H. C. Yap, editors, Advances in Computing Science - ASIAN 99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings. Volume 1742 of Lecture Notes in Computer Science, pages 101-112, Springer, 1999. [doi]

This author has not been identified. Look up 'Didier Galmiche' in GoogleThis author has not been identified. Look up 'Dominique Larchey-Wendling' in Google

runs on WebDSL