LDR 01002cam 2200277 a 4500 001 333852 008 s1998 nz b 00000 eng d 010 _o zbn98035548 020 _c Gratis (spiral binding) 035 _a (nzNZBN)10772605 035 _9 ABO-3462 040 _a NZNB _c NZNB 082 0 _a 005.133 _2 21 092 _a QA75.5.W926 no.98/5 100 1 _a Henson, Martin C. 245 12 _a A logic for the schema calculus / _c by Martin C. Henson and Steve Reeves. 260 _a Hamilton, N.Z. : _b Dept. of Computer Science, University of Waikato, _c c1998. 300 _a 20 leaves ; _c 30 cm. 490 1 _a Working paper, _x 1170-487X ; _v 98/5 500 _a "March 1998." 500 _a Received on Standing Order. 504 _a Includes bibliographical references (leaf 20). 650 0 _a Z (Computer program language) 700 1 _a Reeves, Steve, _d 1957- 710 2 _a University of Waikato. _b Dept. of Computer Science. 830 0 _a Working paper series (University of Waikato. Dept. of Computer Science) ; _v 98/5.