A logical approach to A-Prolog
From MaRDI portal
Publication:4916215
DOI10.1016/S1571-0661(04)80554-1zbMath1261.68039MaRDI QIDQ4916215
Mauricio Osorio, J. A. Navarro, José Ramón Enrique Arrazola Ramírez
Publication date: 19 April 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Cites Work
This page was built for publication: A logical approach to A-Prolog