scientific article; zbMATH DE number 970727

zbMath0864.68014MaRDI QIDQ5688913

Yi Ke Guo, Helen Pull, John Darlington

Publication date: 23 January 1997

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

zbMATH Keywords

semantics of logic programmingdefinitional constraint programming

Mathematics Subject Classification ID

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

Related Items (1)

A new generic scheme for functional logic programming with constraints

Uses Software

• Miranda

This page was built for publication: