Show simple item record

dc.contributor.authorCodish, M
dc.contributor.authorLagoon, V
dc.contributor.authorSchachte, P
dc.contributor.authorStuckey, PJ
dc.contributor.editorSestoft, P
dc.date.available2014-05-21T23:04:35Z
dc.date.issued2006-01-01
dc.identifierhttp://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000236905200016&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=d4d813f4571fa7d6246bdc0dfeca3a1c
dc.identifier.citationCodish, 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.
dc.identifier.isbn3-540-33095-X
dc.identifier.isbn9783540330950
dc.identifier.issn0302-9743
dc.identifier.urihttp://hdl.handle.net/11343/29426
dc.languageEnglish
dc.publisherSPRINGER-VERLAG BERLIN
dc.source15th European Symposium on Programming
dc.subjectComputer Software
dc.titleSize-change termination analysis in kappa-bits
dc.typeConference Paper
dc.identifier.doi10.1007/11693024_16
melbourne.peerreviewPeer Reviewed
melbourne.affiliationThe University of Melbourne
melbourne.affiliation.departmentComputer Science and Software Engineering
melbourne.source.titleLecture Notes in Artificial Intelligence
melbourne.source.volume3924
melbourne.source.pages230-245
dc.description.pagestart230
melbourne.publicationid56175
melbourne.elementsid279997
melbourne.contributor.authorLAGOON, VITALY
melbourne.contributor.authorSchachte, Peter
melbourne.contributor.authorStuckey, Peter
dc.identifier.eissn1611-3349
melbourne.event.locationVienna, AUSTRIA
melbourne.accessrightsThis item is currently not available from this repository


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record