共 50 条
- [38] A 2N-2 STEP ALGORITHM FOR ROUTING IN AN NXN ARRAY WITH CONSTANT SIZE QUEUES SPAA 89: PROCEEDINGS OF THE 1989 ACM SYMPOSIUM ON PARALLEL ALGORITHMS AND ARCHITECTURES, 1989, : 328 - 335
- [40] Arithmetic as a theory modulo TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2005, 3467 : 423 - 437