Testing for termination with monotonicity constraints
Author
Codish, M; Lagoon, V; Stuckey, PJEditor
Gabbrielli, M; Gupta, GDate
2005-01-01Source Title
LOGIC PROGRAMMING, PROCEEDINGSPublisher
SPRINGER-VERLAG BERLINAffiliation
Computer Science and Software EngineeringMetadata
Show full item recordDocument Type
Conference PaperCitations
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 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