De Bruijn's weak diamond property revisited

DOI10.1016/J.INDAG.2013.08.005zbMATH Open1360.68533OpenAlexW2089961511MaRDI QIDQ740482FDOQ740482

Authors: Jörg Endrullis, Jan Willem Klop 

Publication date: 3 September 2014

Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.indag.2013.08.005

Recommendations

• Confluence by decreasing diagrams -- formalized
• A geometric proof of confluence by decreasing diagrams
• Diagram techniques for confluence
• Confluence by Decreasing Diagrams
• Diagrammatic Confluence and Completion

zbMATH Keywords

confluencelambda calculusterm rewritingdecreasing diagramsAutomath projectweak diamond property

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Cites Work

• The lambda calculus. Its syntax and semantics. Rev. ed.
• Lectures on the Curry-Howard isomorphism
• Title not available (Why is that?)
• On theories with a combinatorial definition of 'equivalence'
• Title not available (Why is that?)
• Title not available (Why is that?)
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Title not available (Why is that?)
• Confluence by decreasing diagrams
• Confluence by Decreasing Diagrams
• Decreasing diagrams and relative termination
• Labelings for Decreasing Diagrams.
• CSI -- a confluence tool
• Selected papers on AUTOMATH, dedicated to N. G. de Bruijn
• Diagram techniques for confluence
• Proof orders for decreasing diagrams
• A geometric proof of confluence by decreasing diagrams

Cited In (5)

• Transducer degrees: atoms, infima and suprema
• Title not available (Why is that?)
• Decreasing diagrams with two labels are complete for confluence of countable systems
• Title not available (Why is that?)
• Braids via term rewriting

Uses Software

• CSI

This page was built for publication: De Bruijn's weak diamond property revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q740482)