Logic Programs for Primitive Recursive Sets

DOI10.1093/LOGCOM/3.4.401MaRDI QIDQ4276169zbMATH OpenOpenAlexFDO

Authors 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 programmingprimitive recursive setsProlog

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 4057010
• scientific article; zbMATH DE number 3914308
• scientific article; zbMATH DE number 4028939
• Logic programs and recursion
• The fixed points of logic programs with Herbrand base \({\mathbb{N}}\)

Cited in

(13)

• Herbrand's theorem as higher order recursion
• The fixed points of logic programs with Herbrand base \({\mathbb{N}}\)
• Logic programs and recursion
• Calculability and logic programs
• scientific article; zbMATH DE number 4028939 (Why is no real title available?)
• scientific article; zbMATH DE number 4057010 (Why is no real title available?)
• A Macro Program for the Primitive Recursive Functions
• scientific article; zbMATH DE number 176725 (Why is no real title available?)
• scientific article; zbMATH DE number 7552282 (Why is no real title available?)
• Index sets for finite normal predicate logic programs with function symbols
• The accepting power of unary string logic programs
• On list primitive recursion and the complexity of computing inf
• Recursion equation sets computing logic programs

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4276169)