Observable confluence for constraint handling rules
Author
Duck, GJ; Stuckey, PJ; Sulzmann, MEditor
Dahl, V; Niemela, IDate
2007-01-01Source Title
LOGIC PROGRAMMING, PROCEEDINGSPublisher
SPRINGER-VERLAG BERLINAffiliation
Computer Science and Software EngineeringMetadata
Show full item recordDocument Type
Conference PaperCitations
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 repositoryDescription
International Conference on Logic Programming (ICLP)
Keywords
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