Nalon, Cláudia, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Dixon, Clare
(2020)
sf Kn : Architecture, Refinements, Strategies and Experiments.
J. Autom. Reason., 64.
pp. 461-484.
Text
jar-2017.pdf - Author Accepted Manuscript Download (537kB) | Preview |
Item Type: | Article |
---|---|
Divisions: | Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science |
Depositing User: | Symplectic Admin |
Date Deposited: | 02 Aug 2021 10:27 |
Last Modified: | 18 Jan 2023 21:35 |
DOI: | 10.1007/s10817-018-09503-x |
URI: | https://livrepository.liverpool.ac.uk/id/eprint/3131112 |
Dimensions
Altmetric
Share
CORE (COnnecting REpositories)