scientific article; zbMATH DE number 3619879

zbMATH Open0399.03036MaRDI QIDQ4182497FDOQ4182497

Authors: Ulrich L. Hupbach 

Publication date: 1978

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

zbMATH Keywords

Many-Sorted Peano AlgebraRecursive Tree Function

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Computability and recursion theory (03D99)

Cited In (4)

• A constructive method for abstract algebraic software specification
• Tree transducers with external functions
• An implementation of syntax directed functional programming on nested- stack machines
• Modular tree transducers

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