scientific article; zbMATH DE number 7779292

arXiv2207.00849MaRDI QIDQ6068931

Unnamed Author

Publication date: 15 December 2023

Full work available at URL: https://arxiv.org/abs/2207.00849

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Theory of programming languages (68N15) General topics in the theory of software (68N01) Exponential and trigonometric functions (33B10)

Cites Work

• Revised report on the algorithmic language scheme
• Nested Square Roots of 2
• Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: