An abstract machine for fixed-order dynamically stratified programs
From MaRDI portal
Publication:4647532
DOI10.1007/3-540-61511-3_98zbMath1412.68032WikidataQ58968748 ScholiaQ58968748MaRDI QIDQ4647532
David S. Warren, Terrance Swift, Konstantinos Sagonas
Publication date: 15 January 2019
Published in: Automated Deduction — Cade-13 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-61511-3_98
68N17: Logic programming
Uses Software