IRUS-ANZ has moved. From January 2022, new monthly statistics will only be added to the IRUS R5 service. This site is archived. All statistics up to December 2021 will remain available on this site.

Item Statistics

Optimizing compilation of CHR with rule priorities

RepositoryUniversity of Melbourne [Minerva Access]
URLhttp://hdl.handle.net/11343/31928
Author(s)orcid:0000-0003-2186-0459; De Koninck, L; Stuckey, PJ; Duck, GJ
Item typeConference Proceedings
JournalLECTURE NOTES IN COMPUTER SCIENCE, Print_ISSN:0302-9743
DOIhttps://doi.org/10.1007/978-3-540-78969-7_5

Sorry - we've not seen any usage for this item in the last six weeks...

Jisc logo Cranfield logo CAVAL logo