Testing for termination with monotonicity constraints

    Thumbnail
    Citations
    Scopus
    Web of Science
    Altmetric
    35
    32
    Author
    Codish, M; Lagoon, V; Stuckey, PJ
    Date
    2005-01-01
    Source Title
    LOGIC PROGRAMMING, PROCEEDINGS
    Publisher
    SPRINGER-VERLAG BERLIN
    University of Melbourne Author/s
    LAGOON, VITALY; Stuckey, Peter
    Affiliation
    Computer Science and Software Engineering
    Metadata
    Show full item record
    Document Type
    Conference Paper
    Citations
    Codish, M., Lagoon, V. & Stuckey, P. J. (2005). Testing for termination with monotonicity constraints. Gabbrielli, M (Ed.) Gupta, G (Ed.) LOGIC PROGRAMMING, PROCEEDINGS, 3668, pp.326-340. SPRINGER-VERLAG BERLIN. https://doi.org/10.1007/11562931_25.
    Access Status
    This item is currently not available from this repository
    URI
    http://hdl.handle.net/11343/29421
    DOI
    10.1007/11562931_25
    Keywords
    Computer Software

    Export Reference in RIS Format     

    Collections