Logic Programs for Primitive Recursive Sets

DOI10.1093/logcom/3.4.401zbMath0801.68022OpenAlexW2118260241MaRDI QIDQ4276169

Urs-Martin Künzi

Publication date: 4 December 1994

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://boris.unibe.ch/114985/1/3-4-401.pdf

zbMATH Keywords

logic programmingPrologprimitive recursive sets

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: Logic Programs for Primitive Recursive Sets