Amanote Research
Register
Sign In
Semantics of a Sequential Language for Exact Real-Number Computation
doi 10.1109/lics.2004.1319637
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2004
Authors
J.R. Marcial-Romero
M.H. Escardo
Publisher
IEEE
Related search
Comparing Functional Paradigms for Exact Real-Number Computation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Exact Computation for Existence of a Knot Counterexample
Applied General Topology
Geometry
Topology
A Consistent Semantics of Self-Adjusting Computation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Language Semantics
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Sequential Exact String Matching
Algebraic Framework for Synchronous Language Semantics
Exact Geometric Computation Using Cascading
International Journal of Computational Geometry and Applications
Geometry
Applied Mathematics
Computational Theory
Computational Mathematics
Mathematics
Theoretical Computer Science
Topology
Programmatic Semantics for Natural Language Interfaces
A Framework for the Specification of Active Rule Language Semantics
