Observable confluence for constraint handling rules

    Thumbnail
    Citations
    Scopus
    Web of Science
    Altmetric
    23
    18
    Author
    Duck, GJ; Stuckey, PJ; Sulzmann, M
    Editor
    Dahl, V; Niemela, I
    Date
    2007-01-01
    Source Title
    LOGIC PROGRAMMING, PROCEEDINGS
    Publisher
    SPRINGER-VERLAG BERLIN
    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
    Duck, G. J., Stuckey, P. J. & Sulzmann, M. (2007). Observable confluence for constraint handling rules. Dahl, V (Ed.) Niemela, I (Ed.) LOGIC PROGRAMMING, PROCEEDINGS, 4670, pp.224-+. SPRINGER-VERLAG BERLIN. https://doi.org/10.1007/978-3-540-74610-2_16.
    Access Status
    This item is currently not available from this repository
    URI
    http://hdl.handle.net/11343/31927
    DOI
    10.1007/978-3-540-74610-2_16
    Description

    International Conference on Logic Programming (ICLP)
    Keywords
    Computer Software

    Export Reference in RIS Format     

    Collections