Iterative Specialisation of Horn Clauses

DOI10.1007/978-3-540-78739-6_11zbMath1133.03335OpenAlexW1530748823MaRDI QIDQ5458391

Christoffer Rosenkilde Nielsen, Hanne Riis Nielson, Flemming Nielson

Publication date: 11 April 2008

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78739-6_11

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Logic in computer science (03B70)

Related Items (1)

Normalization of Linear Horn Clauses

This page was built for publication: Iterative Specialisation of Horn Clauses