scientific article; zbMATH DE number 432708

zbMATH Open0805.03034MaRDI QIDQ3138835FDOQ3138835

Authors: John V. Tucker, Jeffery Zucker 

Publication date: 11 November 1993

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

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

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)

Cited In (7)

• Title not available (Why is that?)
• 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)