Completeness issues in RUE-NRF deduction: The undecidability of viability
From MaRDI portal
Publication:1311402
DOI10.1007/BF00881797zbMath0782.68103MaRDI QIDQ1311402
V. S. Subrahmanian, James J. Lu
Publication date: 13 January 1994
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
68N17: Logic programming
Related Items
Cites Work