On Rules and Parameter Free Systems in Bounded Arithmetic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín. On Rules and Parameter Free Systems in Bounded Arithmetic. 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 179-188, Springer, 2007. [doi]

This author has not been identified. Look up 'Andrés Cordón-Franco' in GoogleThis author has not been identified. Look up 'Alejandro Fernández-Margarit' in GoogleThis author has not been identified. Look up 'Francisco Félix Lara Martín' in Google

runs on WebDSL