Sixty Years of Stable Models
From MaRDI portal
Publication:5504645
DOI10.1007/978-3-540-89982-2_9zbMath1185.68174MaRDI QIDQ5504645
No author found.
Publication date: 22 January 2009
Published in: Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-89982-2_9
01A60: History of mathematics in the 20th century
68Q55: Semantics in the theory of computing
68N17: Logic programming
68-03: History of computer science
Related Items
Proof theory of Nelson's paraconsistent logic: a uniform perspective, To Vladimir Lifschitz on His 65th Birthday