"A Note on Conservativity Relations among Bounded Arithmetic Theories."

Russell Impagliazzo, Jan Krajícek (2002)

Details and statistics

DOI: 10.1002/1521-3870(200204)48:3<375::AID-MALQ375>3.0.CO;2-L

access: closed

type: Journal Article

metadata version: 2017-05-17

a service of  Schloss Dagstuhl - Leibniz Center for Informatics