scientific article; zbMATH DE number 970715

zbMath0862.68072MaRDI QIDQ5688900

Saumya Debray, Roberto Giacobazzi, Giorgio Levi

Publication date: 25 May 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algebraic semanticsconstraint logic programs

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (5)

Transforming constraint logic programs ⋮ S-semantics for logic programming: a retrospective look ⋮ Type dependencies for logic programs using ACI-unification ⋮ A compositional semantics for logic programs ⋮ Norms on terms and their use in proving universal termination of a logic program

This page was built for publication: