Development closed critical pairs

DOI10.1007/3-540-61254-8_26MaRDI QIDQ4645811zbMATH OpenOpenAlexFDO

Authors Vincent van Oostrom

Publication date 11 January 2019

Published in Higher-Order Algebra, Logic, and Term Rewriting (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61254-8_26

zbMATH Keywords

critical intersectioncritical pairdevelopment stepfunction symbollambda calculus

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42)

Recommendations

• Developing developments
• scientific article; zbMATH DE number 512788
• A new parallel closed condition for Church-Rosser of left-linear term rewriting systems
• Confluence and superdevelopments
• Abstract Critical Pairs and Confluence of Arbitrary Binary Relations

Cites work

• A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
• Confluence and superdevelopments
• Confluence by decreasing diagrams
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Higher-order rewrite systems and their confluence
• scientific article; zbMATH DE number 4208054 (Why is no real title available?)
• scientific article; zbMATH DE number 4106267 (Why is no real title available?)
• scientific article; zbMATH DE number 3730111 (Why is no real title available?)
• scientific article; zbMATH DE number 48095 (Why is no real title available?)
• scientific article; zbMATH DE number 108434 (Why is no real title available?)
• scientific article; zbMATH DE number 1255555 (Why is no real title available?)
• scientific article; zbMATH DE number 512788 (Why is no real title available?)
• scientific article; zbMATH DE number 512795 (Why is no real title available?)
• scientific article; zbMATH DE number 599028 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 1499112 (Why is no real title available?)
• Logic programming with sequent systems: a linear logic approach
• Residual theory in λ-calculus: a formal development
• Rewriting techniques and applications. 5th international conference RTA-93, Montréal, Canada, June 16--18, 1993. Proceedings
• Some Properties of Conversion
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Typed lambda calculi and applications. International conference, TLCA '93, March 16--18, 1993, Utrecht, the Netherlands. Proceedings

Cited in

(7)

• Developing developments
• Non-E-overlapping, weakly shallow, and non-collapsing TRSs are confluent
• Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent
• A new parallel closed condition for Church-Rosser of left-linear term rewriting systems
• Confluence and superdevelopments
• A PVS theory for term rewriting systems
• Rewriting modulo in the -calculus Modulo

This page was built for publication: Development closed critical pairs

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