A survey of GCLA: A definitional approach to logic programming

DOI10.1007/BFb0038692zbMath1502.68058MaRDI QIDQ5053005

Lars Hallnäs, Martin Aronsson, Lars-Henrik Eriksson, Per Kreuger

Publication date: 26 November 2022

Published in: Extensions of Logic Programming (Search for Journal in Brave)

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70) Logic programming (68N17)

Related Items (1)

Program development schemata as derived rules

This page was built for publication: A survey of GCLA: A definitional approach to logic programming