Program Development in Computational Logic

DOI10.1007/b98187zbMath1080.68548OpenAlexW2504992661MaRDI QIDQ5712545

Nicoletta Cocco, Annalisa Bossi, Sandro Etalle, Sabina Rossi

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

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

Related Items (1)

An iterative approach to precondition inference using constrained Horn clauses

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