scholarly journals Generalizing Newman’s Lemma for Left-Linear Rewrite Systems

2006 ◽  
pp. 66-80 ◽  
Author(s):  
Bernhard Gramlich ◽  
Salvador Lucas
Keyword(s):  
Rewrite Systems

scholarly journals CoCo 2019: report on the eighth confluence competition

2021 ◽  
Author(s):  
Aart Middeldorp ◽  
Julian Nagele ◽  
Kiraku Shintani
Keyword(s):  
Software Tools ◽  
Rewrite Systems

AbstractWe report on the 2019 edition of the Confluence Competition, a competition of software tools that aim to prove or disprove confluence and related (undecidable) properties of rewrite systems automatically.

TERMINATION OF ABSTRACT REDUCTION SYSTEMS

2009 ◽  
Vol 20 (01) ◽  
pp. 57-82
Author(s):  
JEREMY E. DAWSON ◽  
RAJEEV GORÉ
Keyword(s):  
General Theorem ◽  
Combinatory Logic ◽  
Rewrite Systems ◽  
Path Ordering

We present a general theorem capturing conditions required for the termination of abstract reduction systems. We show that our theorem generalises another similar general theorem about termination of such systems. We apply our theorem to give interesting proofs of termination for typed combinatory logic. Thus, our method can handle most path-orderings in the literature as well as the reducibility method typically used for typed combinators. Finally we show how our theorem can be used to prove termination for incrementally defined rewrite systems, including an incremental general path ordering. All proofs have been formally machine-checked in Isabelle/HOL.

О системах переписывания процессов высокого уровня

2021 ◽  
Author(s):  
Ирина Александровна Ломазова
Keyword(s):  
Rewrite Systems

Системы переписывания процессов (Process Rewrite Systems - PRS) Ричарда Майра представляют собой систему переписывания термов специального вида и задают унифицированное представление для конечных и магазинных автоматов, сетей Петри и некоторых классов алгебр процессов. В докладе рассматривается (P,P)-подкласс систем переписывания процессов, соответствующий классическим сетям Петри, и его расширение HPRS для моделирования систем с динамической структурой. Обсуждаются вопросы выразительности и разрешимости.

Conditional Rewrite Systems

2002 ◽  
pp. 179-242
Author(s):  
Enno Ohlebusch
Keyword(s):  
Rewrite Systems

scholarly journals Proving Termination of Rewrite Systems Using Bounds

2007 ◽  
pp. 273-287 ◽  
Author(s):  
Martin Korp ◽  
Aart Middeldorp
Keyword(s):  
Rewrite Systems

scholarly journals On Constructor Rewrite Systems and the Lambda Calculus

2012 ◽  
Vol 8 (3) ◽  
Author(s):  
Ugo Dal Lago ◽  
Simone Martini
Keyword(s):  
Lambda Calculus ◽  
Rewrite Systems
Sign in / Sign up

Export Citation Format

Share Document