Publication:4809167
From MaRDI portal
zbMath1045.68061MaRDI QIDQ4809167
Harald Ganzinger, David Allen McAllester
Publication date: 12 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2401/24010209.htm
68N17: Logic programming
Related Items
Dynamic Programming Algorithms as Products of Weighted Logic Programs, A Survey of the Proof-Theoretic Foundations of Logic Programming, Automatic decidability and combinability, Logical approximation for program analysis