scientific article; zbMATH DE number 512885
From MaRDI portal
Publication:4281588
zbMath0797.68028MaRDI QIDQ4281588
Baudouin Le Charlier, K. Musumbu, Antoine Rauzy, Marc-Michel Corsini
Publication date: 19 October 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Prologconstraint language\(\mu\)- calculusfixpoint computationabstract interpretation of logic programsconstraint solving over finite domains
Related Items (2)
Analysis and Transformation of Constrained Horn Clauses for Program Verification ⋮ Proving implications by algebraic approximation
This page was built for publication:
