Pages that link to "Item:Q5178875"
From MaRDI portal
The following pages link to The size-change principle for program termination (Q5178875):
Displaying 12 items.
- A combination framework for complexity (Q276251) (← links)
- Proving termination of nonlinear command sequences (Q470005) (← links)
- Verification and code generation for invariant diagrams in Isabelle (Q478381) (← links)
- An intuitionistic version of Ramsey's theorem and its use in program termination (Q499082) (← links)
- Termination of linear programs with nonlinear constraints (Q604395) (← links)
- On proving \(C_E\)-termination of rewriting by size-change termination (Q835016) (← links)
- Summarization for termination: No return! (Q845247) (← links)
- Verifying termination and reduction properties about higher-order logic programs (Q850496) (← links)
- Mechanizing and improving dependency pairs (Q877836) (← links)
- Partial and nested recursive function definitions in higher-order logic (Q972425) (← links)
- A complexity tradeoff in ranking-function termination proofs (Q1006896) (← links)
- Adapting functional programs to higher order logic (Q1029815) (← links)
