Structural types for systems of equations: type refinements for structurally dynamic first-class modular systems of equations

From MaRDI portal
(Redirected from Publication:526451)