Show simple item record

dc.contributor.authorCodish,
dc.contributor.authorLAGOON, V
dc.contributor.authorSTUCKEY, P
dc.date.available2014-05-21T22:59:31Z
dc.date.issued2008
dc.identifier.citationCodish, , LAGOON, V. & STUCKEY, P. (2008). Solving Partial Order Constraints for LPO Termination. Journal of Satisfiability, Boolean Modeling and Computation, 5 (1), pp.193-215
dc.identifier.issn1574-0617
dc.identifier.urihttp://hdl.handle.net/11343/29378
dc.subjectComputation Theory and Mathematics
dc.titleSolving Partial Order Constraints for LPO Termination
dc.typeJournal Article
melbourne.peerreviewPeer Reviewed
melbourne.affiliationThe University of Melbourne
melbourne.affiliation.departmentComputer Science and Software Engineering
melbourne.source.titleJournal of Satisfiability, Boolean Modeling and Computation
melbourne.source.volume5
melbourne.source.issue1
melbourne.source.pages193-215
dc.description.pagestart193
melbourne.publicationid107125
melbourne.elementsid303945
melbourne.contributor.authorLAGOON, VITALY
melbourne.contributor.authorStuckey, Peter
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