A compact representation of proofs
Keyword(s):
Keyword(s):
2020 ◽
Vol 3
(2)
◽
pp. 1-21
2011 ◽
Vol 181-182
◽
pp. 830-835
2021 ◽
Vol 17
(4)
◽
pp. 1-20