Semantics of a sequential language for exact real-number computation

Research output: Contribution to conference (unpublished)Paper

Authors

Colleges, School and Institutes

Details

Original languageEnglish
Pages426-435
Number of pages10
Publication statusPublished - 1 Jan 2004
Event19th Annual IEEE Symposium on Logic in Computer Science -
Duration: 1 Jan 2004 → …

Conference

Conference19th Annual IEEE Symposium on Logic in Computer Science
Period1/01/04 → …