Theory of Computational Systems : [15] Collection home page

Browse
Collection's Items (Sorted by Title in Ascending order): 1 to 15 of 15
Publication DateTitleAuthor(s)
28-Nov-1997Bounding the attractor of an IFSEdalat, A; Sharp, D; While, L
28-May-1999Computable Banach spaces via domain theoryEdalat, A; Sunderhauf, P
28-Feb-1998A computational model for metric spacesEdalat, A; Heckmann, R
1-Dec-2004Domain theory and differential calculus (functions of one variable)Edalat, A; Lieutier, A
13-Nov-1995DOMAIN THEORY AND INTEGRATIONEDALAT, A
6-Jan-1999A domain-theoretic approach to computability on the real lineEdalat, A; Sunderhauf, P
1-Jul-1995DYNAMICAL SYSTEMS, MEASURES, AND FRACTALS VIA DOMAIN THEORYEDALAT, A
1-Aug-2004An extension of Gleason's theorem for quantum computationEdalat, A
5-Dec-2006A flexible model for dynamic linking in Java and C#Drossopoulou, S; Lagorio, G; Eisenbach, S
28-Jul-2002Foundation of a computable solid modellingEdalat, A; Lieutier, A
20-Nov-1998The generalized Riemann integral on locally compact spacesEdalat, A; Negri, S
5-Jul-1993I-CATEGORIES AS A FRAMEWORK FOR SOLVING DOMAIN EQUATIONSEDALAT, A; SMYTH, MB
1-Jul-2000Integration in real PCFEdalat, A; Escardo, MH
1-Jan-1999Lazy computation with exact real numbersEdalat, A; Potts, PJ; Sunderhauf, P
1-Feb-1996Power domains and iterated function systemsEdalat, A
Collection's Items (Sorted by Title in Ascending order): 1 to 15 of 15