Most Popular Books
- Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator
- On the Complexity of Motion Planning for Multiple Independent Objects; Pspace Hardness of the "warehouseman's Problem"
- On the Complexity of Motion Planning for Multiple Independent Objects; Pspace Hardness of the "warehouseman's Problem"
