scientific article; zbMATH DE number 4049122

MaRDI QIDQ3786010zbMATH OpenFDO

Authors T. Gergely, Zsolt Szabo

Publication date 1987

zbMATH Keywords

fixed point equationslogic inductive inferenceprimitive recursive relations

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Recursive functions and relations, subrecursive hierarchies (03D20)

Recommendations

• The equational logic of fixed points
• Fixed Points as Equations and Solutions
• Deciding inductive validity of equations.
• scientific article; zbMATH DE number 18594
• Fixed points for consequence relations
• Quantitative deduction and its fixpoint theory
• Proving fixed point theorems using general principles
• Fixed point theorems in logic programming
• scientific article; zbMATH DE number 3967439

This page was built for publication:

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