Demand-driven normalisation for ACD term rewriting

    Thumbnail
    Citations
    Altmetric
    Author
    De Koninck, L; Duck, GJ; Stuckey, PJ
    Date
    2009-09-14
    Source Title
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    Publisher
    Springer Berlin Heidelberg
    University of Melbourne Author/s
    DUCK, GREGORY; Stuckey, Peter
    Affiliation
    Computer Science And Software Engineering
    Metadata
    Show full item record
    Document Type
    Conference Paper
    Citations
    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 repository
    URI
    http://hdl.handle.net/11343/26758
    DOI
    10.1007/978-3-642-02846-5_39
    Description

    F1 - Full Written Papers Refereed
    Keywords
    Computer Software not elsewhere classified; Computer Software and Services not elsewhere classified

    Export Reference in RIS Format     

    Collections