共 50 条
- [25] Persistence of Termination for Locally Confluent Overlay Term Rewriting Systems PROCEEDINGS OF WORLD ACADEMY OF SCIENCE, ENGINEERING AND TECHNOLOGY, VOL 3, 2005, 3 : 106 - 109
- [27] Persistence of termination for locally confluent overlay term rewriting systems Proceedings of the IASTED International Conference on Artificial Intelligence and Applications, Vols 1and 2, 2004, : 529 - 534
- [29] Special points for calculating integrals over the primitive cell of a periodic system Physics of the Solid State, 2004, 46 : 1213 - 1224
- [30] Ultimately confluent rewriting systems. Parallel multiset-rewriting with permitting or forbidding contexts MEMBRANE COMPUTING, 2004, 3365 : 178 - 189