Computability. Recursive and programmable functions

zbMath0824.68001MaRDI QIDQ1308644

Walter Felscher

Publication date: 24 November 1993

Published in: Springer-Lehrbuch (Search for Journal in Brave)

zbMATH Keywords

computabilityrecursive functionsubrecursive function

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Recursive functions and relations, subrecursive hierarchies (03D20) Theory of computing (68Q99)

Related Items

Term rewriting theory for the primitive recursive functions, Finite methods in 1-order formalisms