scientific article; zbMATH DE number 4049122

zbMATH Open0643.68129MaRDI QIDQ3786010FDOQ3786010

T. Gergely, Zsolt Szabo

Publication date: 1987

Title of this publication is not available (Why is that?)

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

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)

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)