On the Intuitionistic Force of Classical Search (Extended Abstract) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Eike Ritter, David J. Pym, Lincoln A. Wallen. On the Intuitionistic Force of Classical Search (Extended Abstract). In Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi, editors, Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX 96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings. Volume 1071 of Lecture Notes in Computer Science, pages 295-311, Springer, 1996.

This author has not been identified. Look up 'Eike Ritter' in GoogleThis author has not been identified. Look up 'David J. Pym' in GoogleThis author has not been identified. Look up 'Lincoln A. Wallen' in Google

runs on WebDSL