Titlebook: Rewriting Techniques and Applications; 8th International Co Hubert Comon Conference proceedings 1997 Springer-Verlag Berlin Heidelberg 1997

使高兴

Toxoid-Vaccines

Termination of context-sensitive rewriting,ion in a well-founded order, the second one is implied by a transformation in which context-sensitive termination of the original system can be concluded from termination of the transformed one. In combination with purely automatic techniques for proving ordinary termination, the latter technique is purely automatic too.

突袭

A complete axiomatisation for the inclusion of series-parallel partial orders,up to the associativity of ordinal sum and to the associativivity and commutativity of disjoint union. In this paper, we introduce a rewrite system acting on these algebraic expressions that axiomatises completely the sub-ordering relation for the class of series-parallel orders.

违抗

Conference proceedings 1997s and four system descriptions. Besides classical topics like termination, confluence, or applications to theorem proving, several new approaches to rewriting are presented. All in all, this volume presents the state of the art in the area of rewriting techniques and applications.

white-matter

沙漠

New undecidability results for finitely presented monoids, negative and show that each of these problems is undecidable for the class of finitely presented monoids with decidable word problems admitting regular complete presentations as well as for the class of finitely presented monoids with tractable word problems.

犬儒主义者

Eclampsia

0302-9743 Sitges, Spain, in June 1997..The 24 revised full papers presented were selected from a total of 54 submissions. Also included are abstracts of two invited talks and four system descriptions. Besides classical topics like termination, confluence, or applications to theorem proving, several new appro

拖债

避开