The Size of a Formula as a Measure of Complexity
From MaRDI portal
Publication:5213568
DOI10.1515/9781614516873.193zbMath1429.03055arXiv1208.4803OpenAlexW4214821889MaRDI QIDQ5213568
Publication date: 3 February 2020
Published in: Logic Without Borders (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1208.4803
Related Items