On Rules and Parameter Free Systems in Bounded Arithmetic

DOI10.1007/978-3-540-73001-9_19MaRDI QIDQ5425319zbMATH OpenOpenAlexFDO

Authors Andrés Cordón-Franco, Alejandro Fernández Margarit, F. Félix Lara Martin

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

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

Cited in

(2)

• scientific article; zbMATH DE number 218509 (Why is no real title available?)
• A bounded arithmetic AID for Frege systems

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5425319)