Annotation of logic programs for independent AND-parallelism by partial evaluation
From MaRDI portal
Publication:4911136
DOI10.1017/S1471068412000191zbMath1260.68068arXiv1210.1665OpenAlexW3106424691MaRDI QIDQ4911136
Could not fetch data.
Publication date: 13 March 2013
Published in: (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1210.1665
Could not fetch data.
Could not fetch data.
