Conditional linearization

DOI10.1016/S0019-3577(99)80012-3MaRDI QIDQ698633zbMATH OpenOpenAlexFDO

Authors R. C. de Vrijer

Publication date 22 September 2002

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

Full work available at URL https://doi.org/10.1016/s0019-3577(99)80012-3

zbMATH Keywords

normal formscombinatory logicterm rewriting systemconditional linearization

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4092821
• scientific article; zbMATH DE number 4090852
• Modular properties of conditional term rewriting systems
• Conditional rewrite rules
• scientific article; zbMATH DE number 4060702

Cites work

• scientific article; zbMATH DE number 4179332 (Why is no real title available?)
• scientific article; zbMATH DE number 4092758 (Why is no real title available?)
• scientific article; zbMATH DE number 3730111 (Why is no real title available?)
• scientific article; zbMATH DE number 3478840 (Why is no real title available?)
• scientific article; zbMATH DE number 1301091 (Why is no real title available?)
• scientific article; zbMATH DE number 1398069 (Why is no real title available?)
• Computing in systems described by equations
• Conditional rewrite rules: Confluence and termination
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Extended term rewriting systems
• Pairing Without Conventional Restraints
• The lambda calculus, its syntax and semantics
• Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem
• Unique normal form property of higher-order rewriting systems
• Unique normal forms for lambda calculus with surjective pairing
• Unique normal forms for nonlinear term rewriting systems: Root overlaps
• \(\lambda\)-calculus and computer science theory. Proceedings of the symposium held in Rome, March 25-27, 1975

Cited in

(6)

• Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem
• scientific article; zbMATH DE number 7204433 (Why is no real title available?)
• A new parallel closed condition for Church-Rosser of left-linear term rewriting systems
• Highlights in infinitary rewriting and lambda calculus
• Applications of infinitary lambda calculus
• Lambda calculus with patterns

This page was built for publication: Conditional linearization

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