共 50 条
- [37] METHODICAL SPECIFICATION OF ABSTRACT DATA-TYPES VIA REWRITING-SYSTEMS INTERNATIONAL JOURNAL OF COMPUTER & INFORMATION SCIENCES, 1982, 11 (05): : 295 - 323
- [38] TRAM: An abstract machine for order-sorted conditional term rewriting systems REWRITING TECHNIQUES AND APPLICATIONS, 1997, 1232 : 335 - 338