(Dual) Hoops Have Unique Halving
From MaRDI portal
Publication:4913866
DOI10.1007/978-3-642-36675-8_9zbMath1383.68068arXiv1203.0436MaRDI QIDQ4913866
Publication date: 16 April 2013
Published in: Automated Reasoning and Mathematics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1203.0436
Uses Software