scientific article; zbMATH DE number 1390021

zbMATH Open0946.03054MaRDI QIDQ4934286FDOQ4934286

Authors: Peter G. Hinman 

Publication date: 22 October 2000

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

Recommendations

• scientific article; zbMATH DE number 3966062
• Fundamentals of generalized recursion theory
• Theses for computation and recursion on concrete and abstract structures
• Admissible functionals in abstract structures with arbitrary power
• scientific article; zbMATH DE number 23020

zbMATH Keywords

recursionfirst-order structuresfunctional structurespartial recursive functions over functional structuresunlimited register machines over functional structures

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Abstract and axiomatic computability and recursion theory (03D75) Inductive definability (03D70)

Cited In (11)

• Title not available (Why is that?)
• Fixed points on the real numbers without the equality test
• On the connection between the abstract recursion theory and the method of successive approximations
• Title not available (Why is that?)
• Primitive recursion for higher-order abstract syntax
• Title not available (Why is that?)
• Abstract recursive utility
• Structural recursion with locally scoped names
• Title not available (Why is that?)
• Title not available (Why is that?)
• Verification, Model Checking, and Abstract Interpretation

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 Q4934286)