An improved lower bound for the elementary theories of trees

From MaRDI portal
Publication:4647523

DOI10.1007/3-540-61511-3_91zbMath1415.03039OpenAlexW2096975981MaRDI QIDQ4647523

Sergei Vorobyov

Publication date: 15 January 2019

Published in: Automated Deduction — Cade-13 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61511-3_91



Related Items



Cites Work