scientific article; zbMATH DE number 2090529
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
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Logical approximation for program analysis, A Survey of the Proof-Theoretic Foundations of Logic Programming, Automatic decidability and combinability, Dynamic Programming Algorithms as Products of Weighted Logic Programs