scientific article; zbMATH DE number 1222420

zbMath0947.03045MaRDI QIDQ4217943

James Lipton, Robert McGrail

Publication date: 19 November 2000

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

zbMATH Keywords

Horn clausesresolution proofscategorical constraintsdata constraintsdatatype specificationdeclarative specificationsfinite-product categories

Mathematics Subject Classification ID

Logic in computer science (03B70) Categorical logic, topoi (03G30) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

A new framework for declarative programming, On the algebraic structure of declarative programming languages