"Hereditary Harrop Formulas and Uniform Proof Systems"

Dale Miller, Gopalan Nadathur, Andre Scedrov (1987)

Details and statistics

DOI:

access: unavailable

type: Conference or Workshop Paper

metadata version: 2017-11-12