scientific article; zbMATH DE number 432708

MaRDI QIDQ3138835zbMATH OpenFDO

Authors John V. Tucker, Jeffery Zucker

Publication date 11 November 1993

zbMATH Keywords

cut eliminationabstract data typescomputabilityformal systemsmany-sorted algebras\(\mu\)-recursivenessprimitive recursiveness

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Abstract data types; algebraic specification (68Q65) Applications of universal algebra in computer science (08A70) Abstract and axiomatic computability and recursion theory (03D75)

Recommendations

• scientific article; zbMATH DE number 177847
• scientific article; zbMATH DE number 23020
• Logical Approaches to Computational Barriers
• Primitive recursive selection functions for existential assertions over abstract algebras
• scientific article; zbMATH DE number 176743

Cited in

(7)

• scientific article; zbMATH DE number 177847 (Why is no real title available?)
• Theory of computation over stream algebras, and its applications
• System T and the product of selection functions
• The functions provable by first order abstraction
• Computation by `While' programs on topological partial algebras
• Logical Approaches to Computational Barriers
• Primitive recursive selection functions for existential assertions over abstract algebras

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