scientific article; zbMATH DE number 10085

zbMath0744.68089MaRDI QIDQ4713366

Kenneth Kunen

Publication date: 25 June 1992

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

zbMATH Keywords

logic programmingdeclarative semantics

Mathematics Subject Classification ID

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

This page was built for publication: