Domains and expressions

DOI10.1145/1073884.1073921zbMath1360.68948OpenAlexW2163850518MaRDI QIDQ5262773

Cosmin E. Oancea, Stephen M. Watt

Publication date: 16 July 2015

Published in: Proceedings of the 2005 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1073884.1073921

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Theory of programming languages (68N15)

Related Items (1)

Alma

Uses Software

• AXIOM
• Maple
• ALDOR

This page was built for publication: Domains and expressions