scientific article; zbMATH DE number 970705
From MaRDI portal
Publication:5688890
zbMath0862.68016MaRDI QIDQ5688890
Danny De Schreye, Maurice Bruynooghe, Kristof Verschaetse
Publication date: 25 May 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Termination of floating-point computations ⋮ A general criterion for avoiding infinite unfolding during partial deduction ⋮ Termination Analysis of Logic Programs Based on Dependency Graphs ⋮ Norms on terms and their use in proving universal termination of a logic program ⋮ Automated modular termination proofs for real Prolog programs
This page was built for publication:
