Semantics of a sequential language for exact real-number computation

Research output: Contribution to conference (unpublished) › Paper

9 Citations (Scopus)

Original language	English
Pages	426-435
Number of pages	10
Publication status	Published - 1 Jan 2004
Event	19th Annual IEEE Symposium on Logic in Computer Science - Duration: 1 Jan 2004 → …

Conference	19th Annual IEEE Symposium on Logic in Computer Science
Period	1/01/04 → …

Cite this

@conference{28567f3afa984cea98708cac7bcf13a3,

title = "Semantics of a sequential language for exact real-number computation",

author = "Jose Marcial and Martin Escardo",

year = "2004",

month = jan,

day = "1",

language = "English",

pages = "426--435",

note = "19th Annual IEEE Symposium on Logic in Computer Science ; Conference date: 01-01-2004",

}