共 50 条
- [33] P Systems with Generalized Multisets Over Totally Ordered Abelian Groups MEMBRANE COMPUTING (CMC 2015), 2015, 9504 : 117 - 136
- [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
- [40] Rewriting P Systems with Flat-Splicing Rules MEMBRANE COMPUTING (CMC 2016), 2017, 10105 : 340 - 351