轿车
发表于 2025-3-25 07:00:48
Conference proceedings 1987This volume contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, "RTA 87", held in Bordeaux, France, May 1987.
腐烂
发表于 2025-3-25 10:03:22
https://doi.org/10.1007/3-540-17220-3Monoid; algorithms; automata; complexity; logic; programming; term rewriting
NIL
发表于 2025-3-25 15:25:39
http://reply.papertrans.cn/83/8300/829958/829958_23.png
guardianship
发表于 2025-3-25 16:59:19
Rewriting Techniques and Applications978-3-540-47421-0Series ISSN 0302-9743 Series E-ISSN 1611-3349
Deference
发表于 2025-3-25 23:09:19
0302-9743 Overview: This volume contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, "RTA 87", held in Bordeaux, France, May 1987.978-3-540-17220-8978-3-540-47421-0Series ISSN 0302-9743 Series E-ISSN 1611-3349
愉快么
发表于 2025-3-26 03:18:21
A compiler for conditional term rewriting systems,In this paper, we present a . for conditional term rewriting systems. With respect to traditional interpreters, the gain in execution time that we obtain is of several orders of magnitude. We discuss several optimizations, among which a method to share code in the premises of the conditional rules, well-adapted to algebraic specifications.
Defense
发表于 2025-3-26 06:37:20
Term rewriting systems with priorities,Term rewriting systems with rules of different priority are introduced. The semantics are explained in detail and several examples are discussed. . Partial support received from the European Communities under Esprit contract no. 432, Meteor (An integrated formal approach to industrial software development).
nepotism
发表于 2025-3-26 10:40:30
http://reply.papertrans.cn/83/8300/829958/829958_28.png
不真
发表于 2025-3-26 15:13:21
Structured contextual rewriting,In this paper, we develop a mechanism, which we call ., (SCS for short,) to deal with some non-finitely-based algebraic specifications. The sufficient condition for confluence and termination of this kind of systems is also considered, based on a generalization of the approach by O‘Donell.
音乐会
发表于 2025-3-26 17:49:54
Completion for rewriting modulo a congruence,We present completion methods for rewriting modulo a congruence, generalizing previous methods by Peterson and Stickel (1981) and Jouannaud and Kirchner (1986). We formalize our methods as equational inference systems and describe techniques for reasoning about such systems.