Papers: 10.1007/s10817-016-9366-4
https://doi.org/10.1007/s10817-016-9366-4
On Definitions of Constants and Types in HOL
Cited by: 7
Author(s): Rob Arthan
Published: over 10 years ago
Software Mentions 4
cran: define
Papers that mentioned: 1
Unlikely Science (0)
Very Likely Science (65)
pypi: op
Papers that mentioned: 2
Very Likely Science (65)
Very Likely Science (65)