Demand-driven normalisation for ACD term rewriting
Citations
Altmetric
Author
De Koninck, L; Duck, GJ; Stuckey, PJDate
2009-09-14Source Title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)Publisher
Springer Berlin HeidelbergAffiliation
Computer Science And Software EngineeringMetadata
Show full item recordDocument Type
Conference PaperCitations
De Koninck, L., Duck, G. J. & Stuckey, P. J. (2009). Demand-driven normalisation for ACD term rewriting. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5649 LNCS, pp.484-488. Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-02846-5_39.Access Status
This item is currently not available from this repositoryDescription
F1 - Full Written Papers Refereed
Keywords
Computer Software not elsewhere classified; Computer Software and Services not elsewhere classifiedExport Reference in RIS Format
Endnote
- Click on "Export Reference in RIS Format" and choose "open with... Endnote".
Refworks
- Click on "Export Reference in RIS Format". Login to Refworks, go to References => Import References