scientific article; zbMATH DE number 1453054

zbMath0953.68030MaRDI QIDQ4955327

Douglas Cenzer, Amy Vanderbilt, Jeffery B. Remmel

Publication date: 25 May 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

recursive propositional logic program

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

My work with Victor Marek: a mathematician looks at answer set programming, Reasoning with infinite stable models