Browse by Journal
Number of items: 4.
Howe, Jacob M., King, Andy (2000) Abstracting numeric constraints with Boolean functions. Information Processing Letters, 75 (1-2). pp. 17-23. ISSN 0020-0190. (doi:10.1016/S0020-0190(00)00081-8) (KAR id:16241) |
Lins, Rafael D. (1992) Cyclic Reference Counting With Lazy Mark-Scan. Information Processing Letters, 44 (4). pp. 215-220. ISSN 0020-0190. (doi:10.1016/0020-0190(92)90088-D) (KAR id:22347) |
of Program Construction group, Mathematics (1995) Fixed-Point Calculus. Information Processing Letters, 53 (3). pp. 131-136. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21277) |
Hill, Steve (1995) The Lazy Z-Buffer. Information Processing Letters, 55 (2). pp. 65-70. ISSN 0020-0190. (doi:10.1016/0020-0190(95)00081-m) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:19597) |