Skip to content

Semantics of a Sequential Language for Exact Real-Number Computation.

Jos Raymundo Marcial-Romero, Martn Htzel Escard

VenueA*LICS
Year2004
ProceedingsLICS

Browse the full LICS paper archive.