scientific article; zbMATH DE number 826303

zbMath0832.68011MaRDI QIDQ4858582

Pui Hung Cheong, Laurent Fribourg

Publication date: 17 December 1995

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

zbMATH Keywords

functional languagesProloglogic languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17)

Related Items

Functional Logic Programming: From Theory to Curry ⋮ Reporting Failures in Functional Logic Programs