scientific article; zbMATH DE number 3910

zbMATH Open0738.03018MaRDI QIDQ4710656FDOQ4710656

Authors: Yiannis N. Moschovakis 

Publication date: 25 June 1992

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

Recommendations

• The formal language of recursion
• scientific article; zbMATH DE number 3966062
• scientific article; zbMATH DE number 1163990
• The logic of recursive equations
• scientific article; zbMATH DE number 4076602

zbMATH Keywords

intensional semanticsabstract algorithmformal language of recursion FLRreduction calculusalgorithm-preserving compilation

Mathematics Subject Classification ID

Abstract and axiomatic computability and recursion theory (03D75)

Cited In (6)

• Towards a geometry of recursion
• Title not available (Why is that?)
• Simple Models for Recursive Schemes
• The formal language of recursion
• Polynomial-time versus recursive models
• Intensional aspects of function definitions

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