Recursive tables and effective definition schemes

DOI10.1016/S1567-8326(01)00017-0zbMath1008.68020MaRDI QIDQ1858431

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)

Cites Work

• Transformations of normal and inverted function tables
• A Brief Overview of PVS
• Discussion and Correspondence: Some comments on Systematics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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