Size-change termination analysis in kappa-bits
Author
Codish, M; Lagoon, V; Schachte, P; Stuckey, PJEditor
Sestoft, PDate
2006-01-01Source Title
PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGSPublisher
SPRINGER-VERLAG BERLINAffiliation
Computer Science and Software EngineeringMetadata
Show full item recordDocument Type
Conference PaperCitations
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 repositoryKeywords
Computer SoftwareExport Reference in RIS Format
Endnote
- Click on "Export Reference in RIS Format" and choose "open with... Endnote".
Refworks
- Click on "Export Reference in RIS Format". Login to Refworks, go to References => Import References