The Dependency Triple Framework for Termination of Logic Programs
From MaRDI portal
Publication:3558284
DOI10.1007/978-3-642-12592-8_4zbMath1284.68119MaRDI QIDQ3558284
Jürgen Giesl, Peter Schneider-Kamp, Manh Thang Nguyen
Publication date: 4 May 2010
Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)
Full work available at URL: http://publications.rwth-aachen.de/record/129003
68N17: Logic programming
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items