Size-change termination analysis in kappa-bits

    Thumbnail
    Citations
    Scopus
    Altmetric
    5
    Author
    Codish, M; Lagoon, V; Schachte, P; Stuckey, PJ
    Date
    2006-01-01
    Source Title
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS
    Publisher
    SPRINGER-VERLAG BERLIN
    University of Melbourne Author/s
    LAGOON, VITALY; Schachte, Peter; Stuckey, Peter
    Affiliation
    Computer Science and Software Engineering
    Metadata
    Show full item record
    Document Type
    Conference Paper
    Citations
    Codish, M., Lagoon, V., Schachte, P. & Stuckey, P. J. (2006). Size-change termination analysis in kappa-bits. Sestoft, P (Ed.) PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 3924, pp.230-245. SPRINGER-VERLAG BERLIN. https://doi.org/10.1007/11693024_16.
    Access Status
    This item is currently not available from this repository
    URI
    http://hdl.handle.net/11343/29426
    DOI
    10.1007/11693024_16
    Keywords
    Computer Software

    Export Reference in RIS Format     

    Collections