scientific article; zbMATH DE number 1123617
From MaRDI portal
Publication:4379673
zbMath0937.03038MaRDI QIDQ4379673
Victor W. Marek, Anil Nerode, Jeffery B. Remmel
Publication date: 14 March 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Recursively (computably) enumerable sets and degrees (03D25)
Related Items
My work with Victor Marek: a mathematician looks at answer set programming, Consistency properties and set based logic programming
