scientific article; zbMATH DE number 6123101

zbMATH Open1265.68361MaRDI QIDQ4899545FDOQ4899545

Authors: T. V. Rossada 

Publication date: 8 January 2013

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

zbMATH Keywords

programming languagesprogram semanticsprogram algebrasnominative data

Mathematics Subject Classification ID

Numerical solutions to overdetermined systems, pseudoinverses (65F20) Symbolic computation and algebraic computation (68W30)

Cited In (3)

• Foundations of Software Science and Computational Structures
• Simple-named complex-valued nominative data -- definition and basic operations
• An approach to completing variable names for implicitly typed functional languages

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