Titlebook: Rewriting Techniques and Applications; Dijon, France, May 2 Jean-Pierre Jouannaud Conference proceedings 1985 Springer-Verlag Berlin Heidel

Motion

書目名稱Rewriting Techniques and Applications影響因子(影響力)




書目名稱Rewriting Techniques and Applications影響因子(影響力)學(xué)科排名




書目名稱Rewriting Techniques and Applications網(wǎng)絡(luò)公開度




書目名稱Rewriting Techniques and Applications網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Rewriting Techniques and Applications被引頻次




書目名稱Rewriting Techniques and Applications被引頻次學(xué)科排名




書目名稱Rewriting Techniques and Applications年度引用




書目名稱Rewriting Techniques and Applications年度引用學(xué)科排名




書目名稱Rewriting Techniques and Applications讀者反饋




書目名稱Rewriting Techniques and Applications讀者反饋學(xué)科排名

figurine

Solving type equations by graph rewriting,bsumption" ordering were defined and shown to form a lattice structure. A simple "type-as-set" interpretation of these term structures extends this lattice to a distributive one, and in the case of finitary terms, to a complete Brouwerian lattice. As a result, a method for solving systems of type eq

excursion

PUT

Associative path orderings,. to .-congruence classes, where . is an equational theory consisting of associativity and commutativity axioms. The associative path ordering is similar to another termination ordering for proving AC termination, described in Dershowitz, et al. (83), which is also based on the idea of .. Our orderi

aphasia

Petrireve: Proving Petri net properties with rewriting systems,RIREVE. By establishing a link between the graphic Petri net design and simulation system PETRIPOTE and the term rewriting system generator REVE, PETRIREVE provides an environment for the design and verification of Petri nets. Representing Petri nets by rewriting systems allows easy and direct proof

小畫像

Maximize

PIZZA

An ideal-theoretic approach to word problems and unification problems over finitely presented commupresented commutative algebras. This approach is simpler and more efficient than the approaches based on generalizations of the Knuth-Bendix completion procedure to handle associative and commutative operators. It is shown that (i) the word problem over a finitely presented commutative ring with uni

Oscillate

Combining unification algorithms for confined regular equational theories, given one algorithm for unifying associative-commutative operators, and another for unifying commutative operators, our algorithm provides a method for unifying terms containing both kinds of operators. We restrict our attention to a class of equational theories which we call confined regular theor

Contracture