De Bruijn's weak diamond property revisited

DOI10.1016/J.INDAG.2013.08.005MaRDI QIDQ740482zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

confluencelambda calculusterm rewritingdecreasing diagramsAutomath projectweak diamond property

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(5)

• Transducer degrees: atoms, infima and suprema
• scientific article; zbMATH DE number 7379291 (Why is no real title available?)
• Decreasing diagrams with two labels are complete for confluence of countable systems
• scientific article; zbMATH DE number 7199582 (Why is no real title available?)
• Braids via term rewriting

Describes a project that uses

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)