A SAT-Based Approach to Size Change Termination with Global Ranking Functions (Q5458329)

From MaRDI portal
scientific article; zbMATH DE number 5262371
Language Label Description Also known as
English
A SAT-Based Approach to Size Change Termination with Global Ranking Functions
scientific article; zbMATH DE number 5262371

    Statements

    Identifiers