Recursive tables and effective definition schemes

DOI10.1016/S1567-8326(01)00017-0MaRDI QIDQ1858431zbMATH OpenFDO

Authors A. J. Wilder

Publication date 13 February 2003

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

zbMATH Keywords

tablesuniversal algebraalgebraic tablesFriedman's effective definition schemes

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Defining the meaning of tabular mathematical expressions
• Algebraic semantics of recursive flowchart schemes
• Recursive definitions of tabular transformations
• Towards an algebraic theory of recursion
• scientific article; zbMATH DE number 1735899

Cites work

• scientific article; zbMATH DE number 3735126 (Why is no real title available?)
• scientific article; zbMATH DE number 192929 (Why is no real title available?)
• scientific article; zbMATH DE number 785052 (Why is no real title available?)
• scientific article; zbMATH DE number 3349780 (Why is no real title available?)
• A Brief Overview of PVS
• Discussion and Correspondence: Some comments on Systematics
• Transformations of normal and inverted function tables

Cited in

(2)

• Recursive definitions of tabular transformations
• Table-based Recursive Method for Function Evaluation

This page was built for publication: Recursive tables and effective definition schemes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1858431)