Logic Programming
From MaRDI portal
Publication:5475796
DOI10.1007/11562931zbMath1165.68334OpenAlexW2104948204MaRDI QIDQ5475796
Răzvan Voicu, Joxan Jaffar, Andrew E. Santosa
Publication date: 27 June 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11562931
Related Items
Horn clause verification with convex polyhedral abstraction and tree automata-based refinement, Towards verification of computation orchestration
