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)
    University of Melbourne Author/s
    DUCK, GREGORY; Stuckey, Peter
    Affiliation
    Computer Science And Software Engineering
    Metadata
    Show full item record
    Document Type
    Conference Proceeding
    Citations
    De Koninck, L; Duck, GJ; Stuckey, PJ, Demand-driven normalisation for ACD term rewriting, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2009, 5649 LNCS pp. 484 - 488
    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