The matrix reproved (verification pearl)
From MaRDI portal
Publication:1703015
DOI10.1007/s10817-017-9436-2zbMath1426.68164MaRDI QIDQ1703015
Publication date: 1 March 2018
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-01617437/file/main.pdf
DB lookup for MSC labels failed
Uses Software