Solving Partial Order Constraints for LPO Termination

    Thumbnail
    Citations
    Altmetric
    Author
    Codish,; LAGOON, V; STUCKEY, P
    Date
    2008
    Source Title
    Journal of Satisfiability, Boolean Modeling and Computation
    University of Melbourne Author/s
    LAGOON, VITALY; Stuckey, Peter
    Affiliation
    Computer Science and Software Engineering
    Metadata
    Show full item record
    Document Type
    Journal Article
    Citations
    Codish, , LAGOON, V. & STUCKEY, P. (2008). Solving Partial Order Constraints for LPO Termination. Journal of Satisfiability, Boolean Modeling and Computation, 5 (1), pp.193-215
    Access Status
    This item is currently not available from this repository
    URI
    http://hdl.handle.net/11343/29378
    Keywords
    Computation Theory and Mathematics

    Export Reference in RIS Format     

    Collections