scientific article; zbMATH DE number 1206051

MaRDI QIDQ4209093zbMATH OpenFDO

Authors Max Kanovich

Publication date 9 November 1998

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Searching and sorting (68P10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 4043322
• Efficient reductants calculi using partial evaluation techniques with thresholding
• scientific article; zbMATH DE number 1092235
• scientific article; zbMATH DE number 6698765
• scientific article; zbMATH DE number 2086320
• Optimizing object queries using an effective calculus
• scientific article; zbMATH DE number 481965
• scientific article; zbMATH DE number 14664
• Computationally efficient approximation mechanisms

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