scientific article; zbMATH DE number 192944

MaRDI QIDQ4039829zbMATH OpenFDO

Authors Erwin Engeler, P. Läuchli

Publication date 5 June 1993

zbMATH Keywords

compilercomputabilityformal languagesinterpreterLISPrecursion theorysemantics

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Computability and recursion theory (03Dxx) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of computing (68Qxx) Natural language processing (68T50)

Recommendations

• Computability. Recursive and programmable functions
• Publication:3468598
• scientific article; zbMATH DE number 805390
• scientific article; zbMATH DE number 54110
• scientific article; zbMATH DE number 193738

Cited in

(10)

• Computability. Recursive and programmable functions
• scientific article; zbMATH DE number 3866548 (Why is no real title available?)
• The Foundations of Computability Theory
• scientific article; zbMATH DE number 615036 (Why is no real title available?)
• scientific article; zbMATH DE number 704484 (Why is no real title available?)
• scientific article; zbMATH DE number 1061261 (Why is no real title available?)
• scientific article; zbMATH DE number 1560883 (Why is no real title available?)
• The Foundations of Computability Theory
• Computability. Models of computation and undecidability
• Recursive functions

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