Short Refutations for an Equivalence-Chain Principle for Constant-Depth Formulas

Mathematical Logic Quarterly - Germany
doi 10.1002/malq.201700034
Full Text
Abstract

Available in full text

Categories
Logic
Date
Authors
Publisher

Wiley