External Links

Journal: Communications of the ACM

Volume 22, Issue 10

549 -- 550Philip D. Laird. Comment on: An Optimal Evaluation of Boolean Expressions in an Online Query System
550 -- 553Ehud Gudes, Anthony Hoffman. A Note on: An Optimal Evaluation of Boolean Expressions in an Online Query System
554 -- 556Leslie Lamport. On the Proof of Correctness of a Calendar Program
557 -- 559Paul Klint. Line Numbers Made Cheap
560 -- 570Tomás Lozano-Pérez, Michael A. Wesley. An Algorithm for Planning Collision-Free Paths Among Polyhedral Obstacles
runs on