scientific article; zbMATH DE number 3960974

zbMATH Open0596.68022MaRDI QIDQ3730002FDOQ3730002

Thomas Zeugmann

Publication date: 1986

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

zbMATH Keywords

recursive functionssynthesis of fastest programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (2)

• A recursive algorithm for optimizing differentiation
• Title not available (Why is that?)

   Recommendations

• On the power of recursive optimizers 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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