Logic Programs for Primitive Recursive Sets
type: Item
instance of: scholarly article
title: Logic Programs for Primitive Recursive Sets
zbMATH Open document ID: 0801.68022
author: Urs-Martin Künzi
publication date: 1994-12-04T00:00:00Z
full work available at URL: 3-4-401.pdf
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 488290
zbMATH Keywords: logic programming
zbMATH Keywords: Prolog
zbMATH Keywords: primitive recursive sets
MaRDI profile type: Publication
OpenAlex ID: W2118260241
DOI: 10.1093/LOGCOM/3.4.401
published in: Journal Of Logic And Computation
description: scientific article; zbMATH DE number 488290