Program Development in Computational Logic

DOI10.1007/b98187zbMath1080.68552OpenAlexW2504992661MaRDI QIDQ5712547

Andy King, Jacob M. Howe, Lunjin Lu

Publication date: 23 December 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b98187

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Transformation-Enabled Precondition Inference ⋮ Unnamed Item

Uses Software

• Mercury

This page was built for publication: Program Development in Computational Logic