共 50 条
- [45] Type Checking with Rewriting Rules PROCEEDINGS OF THE 17TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2024, 2024, : 171 - 183
- [46] Managing in the Virtual World: How Second Life is Rewriting the Rules of "Real Life" Business ADVANCES TECHNIQUES IN COMPUTING SCIENCES AND SOFTWARE ENGINEERING, 2010, : 123 - 128
- [50] Algorithms and reductions for rewriting problems REWRITING TECHNIQUES AND APPLICATIONS, 1998, 1379 : 166 - 180