scientific article
From MaRDI portal
Publication:2767081
zbMath0983.68600MaRDI QIDQ2767081
Publication date: 28 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Analysis and Transformation of Constrained Horn Clauses for Program Verification, Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP, Unnamed Item, Description, Implementation, and Evaluation of a Generic Design for Tabled CLP, Generation of Rule-Based Constraint Solvers: Combined Approach
Uses Software