A Programming Language for the Interval Geometric Machine

DOI10.1016/S1571-0661(04)80852-1zbMath1264.68079OpenAlexW2041769479MaRDI QIDQ4924536

Antônio Carlos da Rocha Costa, Graçaliz Pereira Dimuro, Renata Hax Sander Reiser

Publication date: 6 June 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80852-1

Mathematics Subject Classification ID

Cites Work

• A coherence space of rational intervals for a construction of \(\mathbb{I}\mathbb{R}\)
• Some definitional suggestions for automata theory
• First Steps in the Construction of the Geometric Machine Model
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Programming Language for the Interval Geometric Machine