scientific article; zbMATH DE number 1206051

MaRDI QIDQ4209093zbMATH OpenFDO

Authors Max Kanovich

Publication date 9 November 1998

Mathematics Subject Classification ID

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

Review text

See the review in Zbl 0639.68120. For the entire collection see [Zbl 0853.00021].

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)