Solving Partial Order Constraints for LPO Termination
Citations
Altmetric
Author
Codish; LAGOON, V; STUCKEY, PDate
2008Source Title
Journal of Satisfiability, Boolean Modeling and ComputationAffiliation
Computer Science and Software EngineeringMetadata
Show full item recordDocument Type
Journal ArticleCitations
Codish, LAGOON, V. & STUCKEY, P. (2008). Solving Partial Order Constraints for LPO Termination. Journal of Satisfiability, Boolean Modeling and Computation, 5 (1), pp.193-215Access Status
This item is currently not available from this repositoryKeywords
Computation Theory and MathematicsExport 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