DOI10.1007/978-3-319-07151-0_17zbMath1416.68032OpenAlexW45508484MaRDI QIDQ5170718
Andy King, Jael E. Kriener
Publication date: 24 July 2014 Published in: Functional and Logic Programming (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/978-3-319-07151-0_17
Mathematics Subject Classification ID
Semantics in the theory of computing (68Q55) Logic programming (68N17)
Related Items
