Publication:3786010

zbMath0643.68129MaRDI QIDQ3786010

T. Gergely, Zsolt Szabó

Publication date: 1987

zbMATH Keywords

fixed point equations; logic inductive inference; primitive recursive relations

Mathematics Subject Classification ID

68T05: Learning and adaptive systems in artificial intelligence

03D20: Recursive functions and relations, subrecursive hierarchies