Limiting semantics of numerical programs (Q1392276)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Limiting semantics of numerical programs	scientific article

Statements

scholarly article

0 references

Limiting semantics of numerical programs (English)

0 references

Theoretical Computer Science

0 references

publication date

23 July 1998

0 references

zbMATH Keywords

semantic models

0 references

Douglas N. Hoover

0 references

MaRDI profile type

MaRDI publication profile

0 references

0 references

On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines

0 references

A Simple but Realistic Model of Floating-Point Computation

0 references

0 references

Dynamical systems, measures, and fractals via domain theory

0 references

Domain theory and integration

0 references

0 references

0 references

Limiting semantics of numerical programs

0 references

0 references

0 references

0 references

Metric spaces, generalized logic, and closed categories

0 references

0 references

\(\mathbb{T}^\omega\) as a universal domain

0 references

0 references

0 references

0 references

0 references

0 references

Completeness of Quasi-Uniform and Syntopological Spaces

0 references

full work available at URL

https://doi.org/10.1016/s0304-3975(96)00050-3

0 references

Identifiers

zbMATH Open document ID

0 references

10.1016/S0304-3975(96)00050-3

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1392276

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1392276&oldid=37213083"