نتایج جستجو برای: confluence angle

تعداد نتایج: 136045  

2013
Harald Zankl

This paper presents a formalization of decreasing diagrams in the theorem prover Isabelle. It discusses mechanical proofs showing that any locally decreasing abstract rewrite system is confluent. The valley and the conversion version of decreasing diagrams are considered. 1998 ACM Subject Classification F.3.1, F.4.2

2008
Vincent van Oostrom

The decreasing diagrams technique is a complete method to reduce confluence of a rewrite relation to local confluence. Whereas previous presentations have focussed on the proof the technique is correct, here we focus on applicability. We present a simple but powerful generalisation of the technique, requiring peaks to be closed only by conversions instead of valleys, which is demonstrated to fu...

Journal: :Theoretical Computer Science 1995

Journal: :Information and Computation 2001

Journal: :Journal of Symbolic Computation 1995

Journal: :Theoretical Computer Science 2004

Journal: :Journal of Vascular Surgery 2010

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید