scientific article; zbMATH DE number 2079037

zbMATH Open1044.68536MaRDI QIDQ4474849FDOQ4474849

Authors: Paul J. Voda 

Publication date: 21 July 2004

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

Recommendations

• scientific article; zbMATH DE number 680708
• Recursion principles for syntax with bindings and substitution
• scientific article; zbMATH DE number 3845026
• The formal language of recursion
• Primitive recursion for higher-order abstract syntax
• scientific article; zbMATH DE number 2185713
• scientific article; zbMATH DE number 1500649
• scientific article; zbMATH DE number 4096777
• scientific article; zbMATH DE number 1086651

Mathematics Subject Classification ID

Theory of programming languages (68N15) Recursive functions and relations, subrecursive hierarchies (03D20)

Cited In (3)

• Title not available (Why is that?)
• A Language of Patterns for Subterm Selection
• A list of arithmetical structures complete with respect to the first-order definability

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