Lazy Abstraction for Size-Change Termination

DOI10.1007/978-3-642-16242-8_16zbMath1306.68022OpenAlexW1540139181MaRDI QIDQ4933307

Michael Codish, Peter Schneider-Kamp, Jürgen Giesl, Carsten Fuhs

Publication date: 12 October 2010

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-16242-8_16

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Asymptotically Precise Ranking Functions for Deterministic Size-Change Systems ⋮ A framework for developing stand-alone certifiers

This page was built for publication: Lazy Abstraction for Size-Change Termination