ResAna

swMATH13769MaRDI QIDQ25681FDOQ25681

Author name not available (Why is that?)

Cited In (2)

• Polynomial solutions of algebraic difference equations and homogeneous symmetric polynomials
• A Hoare Logic for Energy Consumption Analysis

This page was built for software: ResAna