Numerical Representations as Purely Functional Data Structures
2000
Details
Title
Numerical Representations as Purely Functional Data Structures
Author(s)
Ivanović, Mirjana ; Kuncak, Viktor
Published in
XIV Conference on Applied Mathematics "PRIM", Palić
Date
2000
Note
Also in: Novi Sad J. Math. 31 (2001), no. 1, 141--149
Laboratories
LARA
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > LARA - Laboratory for Automated Reasoning and Analysis
Work outside EPFL
Conference Papers
Published
Work outside EPFL
Conference Papers
Published
Record creation date
2007-08-21