scientific article; zbMATH DE number 1390021
From MaRDI portal
zbMATH Open0946.03054MaRDI QIDQ4934286FDOQ4934286
Authors: Peter G. Hinman
Publication date: 22 October 2000
Title of this publication is not available (Why is that?)
Recommendations
recursionfirst-order structuresfunctional structurespartial recursive functions over functional structuresunlimited register machines over functional structures
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)