On Rules and Parameter Free Systems in Bounded Arithmetic

DOI10.1007/978-3-540-73001-9_19zbMath1151.03349OpenAlexW1567998551MaRDI QIDQ5425319

F. F. Lara-Martín, A. Fernández-Margarit, Andrés Cordón-Franco

Publication date: 13 November 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://idus.us.es/xmlui/handle//11441/87642

zbMATH Keywords

conservation resultsBounded Arithmeticparameter-free schemes

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

This page was built for publication: On Rules and Parameter Free Systems in Bounded Arithmetic