Cut-Elimination: Experiments with CERES - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr. Cut-Elimination: Experiments with CERES. In Franz Baader, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings. Volume 3452 of Lecture Notes in Computer Science, pages 481-495, Springer, 2004. [doi]

This author has not been identified. Look up 'Matthias Baaz' in GoogleThis author has not been identified. Look up 'Stefan Hetzl' in GoogleThis author has not been identified. Look up 'Alexander Leitsch' in GoogleThis author has not been identified. Look up 'Clemens Richter' in GoogleThis author has not been identified. Look up 'Hendrik Spohr' in Google

runs on WebDSL