isabelle proof assistant
Recently Published Documents
TOTAL DOCUMENTS
5
(FIVE YEARS 2)
H-INDEX
2
(FIVE YEARS 0)
Keyword(s):
2020 ◽
Vol 27
(3)
◽
pp. 84-101
2018 ◽
Vol 267
◽
pp. 140-155
◽
2014 ◽
Vol 7
(3)
◽
pp. 484-498
◽